Certified Derivation of Small-Step From Big-Step Skeletal Semantics-Reference-Cited by-同舟云学术

Certified Derivation of Small-Step From Big-Step Skeletal Semantics

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

Author:

Ambal Guillaume¹,Lenglet Sergueï²,Schmitt Alan³,NoûS Camille⁴

Affiliation:

1. Univ Rennes, France

2. Université de Lorraine, France

3. Inria, France

4. Laboratoire Cogitamus, France

Publisher

ACM

Link

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

Reference28 articles.

1. 2021. ECMAScript language specification. Standard ECMA-262. https://262.ecma-international.org/ 2021. ECMAScript language specification. Standard ECMA-262. https://262.ecma-international.org/

2. A functional correspondence between evaluators and abstract machines

3. Certified abstract machines for skeletal semantics

4. Guillaume Ambal Sergueï Lenglet and Alan Schmitt. 2022. Certified Derivation of Small-Step From Big-Step Skeletal Semantics. Implementation available at https://gitlab.inria.fr/skeletons/necro/-/tree/PPDP2022. Guillaume Ambal Sergueï Lenglet and Alan Schmitt. 2022. Certified Derivation of Small-Step From Big-Step Skeletal Semantics. Implementation available at https://gitlab.inria.fr/skeletons/necro/-/tree/PPDP2022.

5. Martin Bodin , Philippa Gardner , Thomas Jensen , and Alan Schmitt . 2019. Skeletal semantics and their interpretations. PACMPL 3 , POPL ( 2019 ), 44:1–44:31. https://doi.org/10.1145/3290357 10.1145/3290357 Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt. 2019. Skeletal semantics and their interpretations. PACMPL 3, POPL (2019), 44:1–44:31. https://doi.org/10.1145/3290357

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

1. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation;Logic-Based Program Synthesis and Transformation;2023

2. Certified Derivation of Small-Step From Big-Step Skeletal Semantics;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20