Hochschulschrift
Certifying system translations using higher order theorem provers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832522117
- Dimensions
-
21 cm
- Extent
-
XII, 174 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2009
- Keyword
-
Codegenerierung
Korrektheit
HOL
Zertifikat
Programmtransformation
Programmverifikation
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:31 PM CEST
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
- Blech, Jan Olaf
- Logos-Verl.
Time of origin
- 2009
Other Objects (12)
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite
Theorie und Praxis in den Arbeitsfeldern der sozialen Arbeit, 1
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Natürliche Dualitäten und das verallgemeinerte Stone-Weierstraß-Theorem
Attractors of second order stochastic differential equations
An approach to the extension of a theorem prover by advanced structuring mechanisms
Point processes with a generalized order statistic property
The transatlantic dialogue on higher education : an analysis of cultural narratives
On the expressive power of first-order logic with built in predicates
Linear and nonlinear model order reduction for numerical simulation of electric circuits
Influence of rigid confinements on local order and chain dynamics in polymer melts
First order quasi-linear PDEs with BV boundary data and applications to image inpainting
Dynamics and ferroelectric order in pyridinium salts, and host guest interaction of benzene on faujasite