Bodden, Eric (2011):
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
pp. 24-28, ACM, WODA '11: International Workshop on Dynamic Analysis, [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: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum