Hochschulschrift
Compiler implementation verification through rigorous syntactical code inspection
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
127 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9814
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik und Praktische Mathematik
- (wann)
-
1998
- Urheber
-
Hoffmann, Ulrich
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:42 MESZ
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
- Hoffmann, Ulrich
- Inst. für Informatik und Praktische Mathematik
Entstanden
- 1998
Ähnliche Objekte (12)
Verification of the C0 compiler implementation on the source code level
Compiler verification in the context of pervasive system verification
Rigorous verification of chaos in a molecular model
Rigorous numerical verification of uniqueness and smoothness in a surface growth model
Rigorous Numerical Verification of Uniqueness and Smoothness in a Surface Growth Model
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Compiler-based implementation of syntax-directed functional programming
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Theorems from compiler verification: a problem set for automated theorem provers
Delayed verification mechanism for dynamic implementation
Test and verification of compiler back ends with a cost-benefit analysis
Fachgespräch Compiler-Compiler : Berlin 1978
Verification of the C0 compiler implementation on the source code level
Compiler verification in the context of pervasive system verification
Rigorous verification of chaos in a molecular model
Rigorous numerical verification of uniqueness and smoothness in a surface growth model
Rigorous Numerical Verification of Uniqueness and Smoothness in a Surface Growth Model
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Compiler-based implementation of syntax-directed functional programming
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Theorems from compiler verification: a problem set for automated theorem provers
Delayed verification mechanism for dynamic implementation
Test and verification of compiler back ends with a cost-benefit analysis
Fachgespräch Compiler-Compiler : Berlin 1978
Verification of the C0 compiler implementation on the source code level
Compiler verification in the context of pervasive system verification
Rigorous verification of chaos in a molecular model
Rigorous numerical verification of uniqueness and smoothness in a surface growth model
Rigorous Numerical Verification of Uniqueness and Smoothness in a Surface Growth Model
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Compiler-based implementation of syntax-directed functional programming
UNMOVIC (United Nations Monitoring, Verification and Inspection Commission)
Theorems from compiler verification: a problem set for automated theorem provers
Delayed verification mechanism for dynamic implementation
Test and verification of compiler back ends with a cost-benefit analysis