Hochschulschrift
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
191 S.
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Univ., Diss., 1994 (Nicht für den Austausch)
- Schlagwort
-
Programmverifikation
Termersetzungssystem
Funktionale Semantik
Operationale Semantik
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:08 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (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