Hochschulschrift | Online-Publikation
Semantics-directed generation of compilers and abstract machines
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1996
- Classification
-
Informatik
- Keyword
-
Compiler-Compiler
Abstrakter Automat
Formale Semantik
Programmtransformation
Korrektheit
Compiler-Compiler ; Abstrakter Automat ; Formale Semantik ; Programmtransformation ; Korrektheit
- Creator
- URN
-
urn:nbn:de:bsz:291-scidok-1775
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (12)
Semantics-directed generation of compilers and abstract machines
Compiler generation : from language definitions to abstract compilers
Compiler generation : from language definitions to abstract compilers
Semantics of UML state machines
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Syntax directed semantics : formal models based on tree transducers
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
An Introduction to Abstract State Machines
Formal Product Families for Abstract Machines
Abstract State Machines for the Classroom
Semantics-directed generation of compilers and abstract machines
Compiler generation : from language definitions to abstract compilers
Compiler generation : from language definitions to abstract compilers
Semantics of UML state machines
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Syntax directed semantics : formal models based on tree transducers
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
An Introduction to Abstract State Machines
Formal Product Families for Abstract Machines
Abstract State Machines for the Classroom
Semantics-directed generation of compilers and abstract machines
Compiler generation : from language definitions to abstract compilers
Compiler generation : from language definitions to abstract compilers
Semantics of UML state machines
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Syntax directed semantics : formal models based on tree transducers
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
An Introduction to Abstract State Machines
Formal Product Families for Abstract Machines