@InProceedings{bodden11continuation,
  author = 	 {Eric Bodden},
  title = 	 {Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses},
  booktitle = {WODA '11: International Workshop on Dynamic Analysis},
  year = 	 {2011},
  month = 	 jul,
  publisher = {ACM},
  pages = {24--28},
  url = {https://www.bodden.de/pubs/bodden11continuation.pdf},
}