For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

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
Export
Stand: 12.10.2017 16:02 Uhr