Hochschulschrift
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 2001
- Keyword
-
Java
Isabelle
HOL
Axiomatische Semantik
Operationale Semantik
Typsichere Sprache
- Creator
- URN
-
urn:nbn:de:bvb:91-diss2001020916796
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
22.04.2025, 1:54 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
Other Objects (12)
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Formalization of logical calculi in Isabelle/HOL
Formalization of logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Isabelle, HOL : a proof assistant for higher order logic
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Verified Code Generation from Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Formalization of natural languages
A Formalization of ODMG Queries
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Formalization of logical calculi in Isabelle/HOL
Formalization of logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Isabelle, HOL : a proof assistant for higher order logic
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Verified Code Generation from Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Formalization of natural languages
A Formalization of ODMG Queries
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Formalization of logical calculi in Isabelle/HOL
Formalization of logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Isabelle, HOL : a proof assistant for higher order logic
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Verified Code Generation from Isabelle/HOL
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL
Formalizing the Java virtual machine in Isabelle-HOL
Verification of sequential imperative programs in Isabelle-HOL
Formalization of natural languages