Author:
Vesely Ferdinand,Fisher Kathleen
Publisher
Springer International Publishing
Reference29 articles.
1. https://www.eecs.tufts.edu/~fvesely/esop2019
2. Lecture Notes in Computer Science;MS Ager,2005
3. Amin, N., Rompf, T.: Collapsing towers of interpreters. Proc. ACM Program. Lang. 2(POPL), 52:1–52:33 (2017).
https://doi.org/10.1145/3158140
4. Lecture Notes in Computer Science;C Bach Poulsen,2014
5. Brookes, S.D., Roscoe, A.W., Walker, D.J.: An operational semantics for CSP. Technical report, Oxford University (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献