Hochschulschrift | Online-Publikation
Proofs, programs and executable specifications in higher order logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Automatisches Beweisverfahren
Framework
Isabelle
Logische Programmierung / Softwarespezifikation; Automatisches Beweisverfahren / Logische Programmierung / Konstruktive Logik
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss2003102017123
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 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
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Executable specifications for language implementation
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Operation refinement proofs for VDM-like specifications
Programs, proofs, processes : proceedings
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Executable specifications for language implementation
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Operation refinement proofs for VDM-like specifications
Programs, proofs, processes : proceedings
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Executable specifications for language implementation
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Operation refinement proofs for VDM-like specifications
Programs, proofs, processes : proceedings
Proofs of program properties via unfold, fold transformations of constraint logic programs
Reconstruction of a logic for inductive proofs of properties of functional programs