Hochschulschrift
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
191 S.
- Language
-
Englisch
- Notes
-
Kiel, Univ., Diss., 1994 (Nicht für den Austausch)
- Keyword
-
Programmverifikation
Termersetzungssystem
Funktionale Semantik
Operationale Semantik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:08 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
Associated
Other Objects (12)
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Using SOS definitions in term rewriting proofs
Complementary definitions of programming language semantics
Operational semantics of UML 2.0 interactions
Taclets vs. rewriting logic - relating semantics of Java
Semantics of probabilistic processes : an operational approach
Operational semantics for the Petri box calculus
Operational semantics and verification of security protocols
Semantics of UML 2.2 State Machines in Rewriting Logic
A comparison of operational definitions for mild cognitive impairment
Defining domain specific operational semantics for activity diagrams
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Using SOS definitions in term rewriting proofs
Complementary definitions of programming language semantics
Operational semantics of UML 2.0 interactions
Taclets vs. rewriting logic - relating semantics of Java
Semantics of probabilistic processes : an operational approach
Operational semantics for the Petri box calculus
Operational semantics and verification of security protocols
Semantics of UML 2.2 State Machines in Rewriting Logic
A comparison of operational definitions for mild cognitive impairment
Defining domain specific operational semantics for activity diagrams
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Using SOS definitions in term rewriting proofs
Complementary definitions of programming language semantics
Operational semantics of UML 2.0 interactions
Taclets vs. rewriting logic - relating semantics of Java
Semantics of probabilistic processes : an operational approach
Operational semantics for the Petri box calculus
Operational semantics and verification of security protocols
Semantics of UML 2.2 State Machines in Rewriting Logic
A comparison of operational definitions for mild cognitive impairment