From definitional interpreter to symbolic executor.

Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Browse the full OOPSLA paper archive.