Environments and the complexity of abstract machines-Reference-Cited by-同舟云学术

Environments and the complexity of abstract machines

Published:2017-10-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Accattoli Beniamino¹,Barras Bruno¹

Affiliation:

1. INRIA, École Polytechnique

Funder

ANR JCJC

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3131851.3131855

Reference40 articles.

1. Beniamino Accattoli. 2016. COCA HOLA. https://sites.google.com/site/beniaminoaccattoli/coca-hola. (2016). Beniamino Accattoli. 2016. COCA HOLA. https://sites.google.com/site/beniaminoaccattoli/coca-hola. (2016).

2. The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus

3. Distilling abstract machines

4. A Strong Distillery

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

1. When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus;Theoretical Computer Science;2023-05

2. A Diamond Machine for Strong Evaluation;Programming Languages and Systems;2023

3. A simple and efficient implementation of strong call by need by an abstract machine;Proceedings of the ACM on Programming Languages;2022-08-29

4. Reasonable Space for the λ-Calculus, Logarithmically;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

5. A Derived Reasonable Abstract Machine for Strong Call by Value;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06