Author:
Churchill Martin,Mosses Peter D.,Sculthorpe Neil,Torrini Paolo
Publisher
Springer Berlin Heidelberg
Reference62 articles.
1. Lecture Notes in Computer Science;A Afroozeh,2013
2. Lecture Notes in Computer Science;C Bach Poulsen,2014
3. Lecture Notes in Computer Science;CB Poulsen,2014
4. Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic Specification. ACM Press/Addison-Wesley, Reading (1989)
5. Bogdănaş, D., Roşu, G.: K-Java: a complete semantics of Java. In: POPL 2015. ACM (2015)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ★piler: Compilers in search of compilations;Journal of Systems and Software;2024-06
2. On the granularity of linguistic reuse;Journal of Systems and Software;2023-08
3. Intrinsically-typed definitional interpreters à la carte;Proceedings of the ACM on Programming Languages;2022-10-31
4. A Generic Back-End for Exploratory Programming;Lecture Notes in Computer Science;2021
5. Fundamental Constructs in Programming Languages;Lecture Notes in Computer Science;2021