Inter-deriving semantic artifacts for object-oriented programming-Reference-Cited by-同舟云学术

Inter-deriving semantic artifacts for object-oriented programming

Published:2010-08 Issue:5 Volume:76 Page:302-323
ISSN:0022-0000
Container-title:Journal of Computer and System Sciences
language:en
Short-container-title:Journal of Computer and System Sciences

Author:

Danvy Olivier,Johannsen Jacob

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science

Reference55 articles.

1. A Theory of Objects;Abadi,1996

2. Explicit substitutions;Abadi;J. Funct. Programming,1991

3. Mads Sig Ager, Partial evaluation of string matchers and constructions of abstract machines, PhD thesis, BRICS PhD School, Department of Computer Science, Aarhus University, Aarhus, Denmark, January 2006

4. A functional correspondence between evaluators and abstract machines;Ager,2003

5. A functional correspondence between call-by-need evaluators and lazy abstract machines;Ager;Inform. Process. Lett.,2004

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatically deriving control-flow graph generators from operational semantics;Proceedings of the ACM on Programming Languages;2022-08-29

2. Certified abstract machines for skeletal semantics;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

3. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines;Logic-Based Program Synthesis and Transformation;2022

4. Collapsing towers of interpreters;Proceedings of the ACM on Programming Languages;2018-01

5. Type soundness proofs with definitional interpreters;ACM SIGPLAN Notices;2017-05-11