Generating Specialized Interpreters for Modular Structural Operational Semantics.

Casper Bach Poulsen, Peter D. Mosses

Browse the full LOPSTR paper archive.