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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Goguen, Joseph 1941-2006 (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Stanford, Calif. 1990
Schriftenreihe:Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 90,13
Schlagworte:
Zusammenfassung: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."
Beschreibung:18 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!