Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Formalization of Types and Programming Languages in Isabelle/HOL

Divo, M. N. (2017). Formalization of Types and Programming Languages in Isabelle/HOL. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Hochschulschrift
Latex : Formalization of Types and Programming Languages in Isabelle/{HOL}

Dateien

einblenden: Dateien
ausblenden: Dateien
:
2017_Michael Divo_MSc thesis.pdf (beliebiger Volltext), 692KB
 
Datei-Permalink:
-
Name:
2017_Michael Divo_MSc thesis.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Eingeschränkt (Max Planck Institute for Informatics, MSIN; )
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Divo, Michael Noel1, Autor
Blanchette, Jasmin Christian2, Ratgeber           
Weidenbach, Christoph2, Gutachter           
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Modern programming languages offer a lot of guarantees (no or few memory leaks, safe parallel programming, ...). But are they really safe ? The only solution is to formalize them and to prove that the expected properties are fulfilled. That’s why it is relevant to prove essential and general facts about programming languages like those presented in Types and Programming Languages, a reference book on type systems, in Isabelle/HOL. Isabelle/HOL is a proof assistant, providing type checking and certifying the consistency of proofs. This environment allowed me to discover some imprecision and wrong parts.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2017-05-242017
 Publikationsstatus: Erschienen
 Seiten: 83 p.
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: DivoMaster2017
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: