Hochschulschrift
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2001
- Schlagwort
-
Java
Isabelle
HOL
Axiomatische Semantik
Operationale Semantik
Typsichere Sprache
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss2001020916796
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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)
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