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
[ Konferenzveröffentlichung] , (2011)

Offizielle URL: http://www.bodden.de/pubs/bodden11continuation.pdf
Typ des Eintrags: Konferenzveröffentlichung
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): 20 Fachbereich Informatik > Softwaretechnik
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering
20 Fachbereich Informatik
Zentrale Einrichtungen
LOEWE
LOEWE > LOEWE-Zentren
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