TU Darmstadt / ULB / TUbiblio

Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses

Bodden, Eric :
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
[Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf]
In: WODA '11: International Workshop on Dynamic Analysis. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Offizielle URL: http://www.bodden.de/pubs/bodden11continuation.pdf
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2011
Autor(en): Bodden, Eric
Titel: Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses
Sprache: Englisch
Verlag: ACM
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Softwaretechnik
Zentrale Einrichtungen > CASED
Zentrale Einrichtungen > EC SPRIDE
Zentrale Einrichtungen > EC SPRIDE > Secure Software Engineering
Fachbereich Informatik
Zentrale Einrichtungen
Veranstaltungstitel: WODA '11: International Workshop on Dynamic Analysis
Hinterlegungsdatum: 28 Sep 2012 11:08
Offizielle URL: http://www.bodden.de/pubs/bodden11continuation.pdf
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen