Semantic specifications for the rewrite rule machine:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Stanford, Calif.
1990
|
| Schriftenreihe: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
90,13 |
| Schlagwörter: | |
| Abstract: | Abstract: "This paper presents three semantics specifications for the Rewrite Rule Machine. This machine consists of a large number of parallel rewrite processors operating independently, each implemented as a VLSI chip. The first specification, called parallel rewriting, provides an abstract operational semantics for the rewrite processor. The second specification, called the cell machine model, provides a more concrete operational semantics for this processor, using algebraic semantics (in OBJ) and set theory. The third specification, called concurrent rewriting, gives an abstract semantics for the Rewrite Rule Machine as a whole." |
| Umfang: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974620 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t| | ||
| 008 | 940206s1990 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)25667064 | ||
| 035 | |a (DE-599)BVBBV008974620 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Goguen, Joseph |d 1941-2006 |e Verfasser |0 (DE-588)172100275 |4 aut | |
| 245 | 1 | 0 | |a Semantic specifications for the rewrite rule machine |c Joseph A. Goguen |
| 264 | 1 | |a Stanford, Calif. |c 1990 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 90,13 | |
| 520 | 3 | |a Abstract: "This paper presents three semantics specifications for the Rewrite Rule Machine. This machine consists of a large number of parallel rewrite processors operating independently, each implemented as a VLSI chip. The first specification, called parallel rewriting, provides an abstract operational semantics for the rewrite processor. The second specification, called the cell machine model, provides a more concrete operational semantics for this processor, using algebraic semantics (in OBJ) and set theory. The third specification, called concurrent rewriting, gives an abstract semantics for the Rewrite Rule Machine as a whole." | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 830 | 0 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 90,13 |w (DE-604)BV008930658 |9 90,13 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005926172 | |
Datensatz im Suchindex
| _version_ | 1818951140853678080 |
|---|---|
| any_adam_object | |
| author | Goguen, Joseph 1941-2006 |
| author_GND | (DE-588)172100275 |
| author_facet | Goguen, Joseph 1941-2006 |
| author_role | aut |
| author_sort | Goguen, Joseph 1941-2006 |
| author_variant | j g jg |
| building | Verbundindex |
| bvnumber | BV008974620 |
| ctrlnum | (OCoLC)25667064 (DE-599)BVBBV008974620 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01658nam a2200301 cb4500</leader><controlfield tag="001">BV008974620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171123 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940206s1990 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25667064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974620</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goguen, Joseph</subfield><subfield code="d">1941-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172100275</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantic specifications for the rewrite rule machine</subfield><subfield code="c">Joseph A. Goguen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">90,13</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper presents three semantics specifications for the Rewrite Rule Machine. This machine consists of a large number of parallel rewrite processors operating independently, each implemented as a VLSI chip. The first specification, called parallel rewriting, provides an abstract operational semantics for the rewrite processor. The second specification, called the cell machine model, provides a more concrete operational semantics for this processor, using algebraic semantics (in OBJ) and set theory. The third specification, called concurrent rewriting, gives an abstract semantics for the Rewrite Rule Machine as a whole."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">90,13</subfield><subfield code="w">(DE-604)BV008930658</subfield><subfield code="9">90,13</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926172</subfield></datafield></record></collection> |
| id | DE-604.BV008974620 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:29:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926172 |
| oclc_num | 25667064 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 18 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| series2 | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| spelling | Goguen, Joseph 1941-2006 Verfasser (DE-588)172100275 aut Semantic specifications for the rewrite rule machine Joseph A. Goguen Stanford, Calif. 1990 18 S. txt rdacontent n rdamedia nc rdacarrier Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 90,13 Abstract: "This paper presents three semantics specifications for the Rewrite Rule Machine. This machine consists of a large number of parallel rewrite processors operating independently, each implemented as a VLSI chip. The first specification, called parallel rewriting, provides an abstract operational semantics for the rewrite processor. The second specification, called the cell machine model, provides a more concrete operational semantics for this processor, using algebraic semantics (in OBJ) and set theory. The third specification, called concurrent rewriting, gives an abstract semantics for the Rewrite Rule Machine as a whole." Programming languages (Electronic computers) Semantics Rewriting systems (Computer science) Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 90,13 (DE-604)BV008930658 90,13 |
| spellingShingle | Goguen, Joseph 1941-2006 Semantic specifications for the rewrite rule machine Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL Programming languages (Electronic computers) Semantics Rewriting systems (Computer science) |
| title | Semantic specifications for the rewrite rule machine |
| title_auth | Semantic specifications for the rewrite rule machine |
| title_exact_search | Semantic specifications for the rewrite rule machine |
| title_full | Semantic specifications for the rewrite rule machine Joseph A. Goguen |
| title_fullStr | Semantic specifications for the rewrite rule machine Joseph A. Goguen |
| title_full_unstemmed | Semantic specifications for the rewrite rule machine Joseph A. Goguen |
| title_short | Semantic specifications for the rewrite rule machine |
| title_sort | semantic specifications for the rewrite rule machine |
| topic | Programming languages (Electronic computers) Semantics Rewriting systems (Computer science) |
| topic_facet | Programming languages (Electronic computers) Semantics Rewriting systems (Computer science) |
| volume_link | (DE-604)BV008930658 |
| work_keys_str_mv | AT goguenjoseph semanticspecificationsfortherewriterulemachine |