Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses.

Eric Bodden, Andreas Follner, Siegfried Rasthofer

Browse the full ISoLA paper archive.