From definitional interpreter to symbolic executor

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

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)
261 Downloads (Pure)

Fingerprint

Dive into the research topics of 'From definitional interpreter to symbolic executor'. Together they form a unique fingerprint.

INIS

Computer Science