@inproceedings{Bodden:2012:CDP:2414036.2414039,
 author = {Bodden, Eric and Follner, Andreas and Rasthofer, Siegfried},
 title = {Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses},
 booktitle = {Proceedings of the 5th International Conference on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change - Volume Part I},
 series = {ISoLA'12},
 year = {2012},
 isbn = {978-3-642-34025-3},
 location = {Heraklion, Crete, Greece},
 pages = {4--18},
 numpages = {15},
 url = {http://dx.doi.org/10.1007/978-3-642-34026-0_2},
 doi = {10.1007/978-3-642-34026-0_2},
 acmid = {2414039},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {buffer overflows, code synthesis, declarative programming languages, information flow, inline reference monitors, runtime verification},
}