TUD  »  Forschung  »  Forschungsinformationssystem
Anzeigen

Verweis auf www.hzdr.de

Verweis auf www.di-uni.de

Verweis auf www.lausitzer-druckhaus.de

Publikation - Detailansicht

Bereich Ingenieurwissenschaften - Fakultät Informatik - Institut für Theoretische Informatik - Grundlagen der Programmierung

Voigtländer, Janis
Proving Correctness via Free Theorems: The Case of the destroy/build-Rule
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation - PEPM'08
Schlagwörter
-
Verlag
ACM Press
Verlagsort
San Francisco, California
Jahrgang/Erscheinungsjahr
2008
Seiten
13-20
Referiert
Nein
Open Access
Ja
Berichtsjahr
2008
Stand: 10.02.2015
BibTeX