Casper Bach Poulsen, Peter D. Mosses. Generating Specialized Interpreters for Modular Structural Operational Semantics. In Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation. LOPSTR, 2013.
@inproceedings{BPM13,
title = {Generating Specialized Interpreters for Modular Structural Operational Semantics},
author = {Casper Bach Poulsen and Peter D. Mosses},
year = {2013},
researchr = {https://researchr.org/publication/BPM13},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation},
series = {LOPSTR},
}