TU Darmstadt / ULB / TUbiblio

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

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

Item Type: Conference or Workshop Item
Erschienen: 2011
Creators: Bodden, Eric
Title: Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses
Language: English
Publisher: ACM
Divisions: 20 Department of Computer Science > Software Technology
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
20 Department of Computer Science
Zentrale Einrichtungen
LOEWE
LOEWE > LOEWE-Zentren
Event Title: WODA '11: International Workshop on Dynamic Analysis
Date Deposited: 28 Sep 2012 11:08
Official URL: http://www.bodden.de/pubs/bodden11continuation.pdf
Export:

Optionen (nur für Redakteure)

View Item View Item