Hochschulschrift
Correctness proofs and probabilistic tests for constructive specifications and functional programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
X, 154 S.
- Sprache
-
Englisch
- Anmerkungen
-
Potsdam, Univ., Diss., 2001
- Schlagwort
-
Softwarespezifikation
Funktionale Programmierung
Domain engineering
Testen
Softwarespezifikation
Funktionale Programmierung
Domain engineering
Programm
Korrektheit
Beweis
- Urheber
-
Huong, Dinh Thi Thanh
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:45 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
Beteiligte
- Huong, Dinh Thi Thanh
Ähnliche Objekte (12)
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
TOrPEDO: witnessing model correctness with topological proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Constructive Training of Probabilistic Neural Network
Contributions to mechanical proofs of correctness for compiler front ends
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
TOrPEDO: witnessing model correctness with topological proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Constructive Training of Probabilistic Neural Network
Contributions to mechanical proofs of correctness for compiler front ends
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
TOrPEDO: witnessing model correctness with topological proofs
Operation refinement proofs for VDM-like specifications
Modern cryptography, probabilistic proofs and pseudorandomness
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Constructive Training of Probabilistic Neural Network
Contributions to mechanical proofs of correctness for compiler front ends
Proofs, programs and executable specifications in higher order logic