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]
Official URL: http://www.bodden.de/pubs/bodden11continuation.pdf
| 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 |
Drucken
Impressum