Hochschulschrift
Correctness proofs and probabilistic tests for constructive specifications and functional programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
X, 154 S.
- Language
-
Englisch
- Notes
-
Potsdam, Univ., Diss., 2001
- Keyword
-
Softwarespezifikation
Funktionale Programmierung
Domain engineering
Testen
Softwarespezifikation
Funktionale Programmierung
Domain engineering
Programm
Korrektheit
Beweis
- Creator
-
Huong, Dinh Thi Thanh
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:21 PM CET
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
- Huong, Dinh Thi Thanh
Other Objects (12)
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Constructive Training of Probabilistic Neural Network
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Contributions to mechanical proofs of correctness for compiler front ends
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Constructive Training of Probabilistic Neural Network
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Contributions to mechanical proofs of correctness for compiler front ends
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Constructive Training of Probabilistic Neural Network
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Contributions to mechanical proofs of correctness for compiler front ends