Author:
Bach Poulsen Casper,Mosses Peter D.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bach Poulsen, C., Mosses, P.D.: Generating specialized interpreters for modular structural operational semantics. In: LOPSTR 2013. LNCS, Springer, Heidelberg (to appear, 2014)
2. Charguéraud, A.: Pretty-big-step semantics. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 41–60. Springer, Heidelberg (2013)
3. Lecture Notes in Computer Science;Ş. Ciobâcă,2013
4. Cousot, P., Cousot, R.: Inductive definitions, semantics and abstract interpretations. In: POPL 1992, pp. 83–94. ACM (1992)
5. Danvy, O.: Defunctionalized interpreters for programming languages. In: Hook, J., Thiemann, P. (eds.) ICFP 2008, pp. 131–142. ACM (2008a)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatically deriving control-flow graph generators from operational semantics;Proceedings of the ACM on Programming Languages;2022-08-29
2. Language Transformations in the Classroom;Electronic Proceedings in Theoretical Computer Science;2021-08-23
3. System Description: Lang-n-Change - A Tool for Transforming Languages;Functional and Logic Programming;2020
4. One Step at a Time;Programming Languages and Systems;2019
5. Functional Big-Step Semantics;Programming Languages and Systems;2016