Eric Bodden. Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. In Leonardo Mariani, Xiangyu Zhang, editors, Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011. pages 24-28, ACM, 2011. [doi]
Abstract is missing.