Semantic specifications for the rewrite rule machine:
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 o...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Stanford, Calif.
1990
|
| Series: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
90,13 |
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 18 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974620 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005926172 | ||
Record in the Search Index
| _version_ | 1804123312681385984 |
|---|---|
| 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>01657nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926172</subfield></datafield></record></collection> |
| id | DE-604.BV008974620 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| 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 |