Machine-checked natural semantics for Core Erlang: exceptions and side effects-Reference-Cited by-同舟云学术

Machine-checked natural semantics for Core Erlang: exceptions and side effects

Published:2020-08-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
language:
Short-container-title:

Author:

Bereczky Péter¹,Horpácsi Dániel¹,Thompson Simon J.²

Affiliation:

1. Eötvös Loránd University, Hungary

2. University of Kent, UK / Eötvös Loránd University, Hungary

Publisher

ACM

Link

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

Reference28 articles.

1. Péter Bereczky Dániel Horpácsi and Simon Thompson. 2020. A Proof Assistant Based Formalisation of Core Erlang. ( 2020 ). arXiv: 2005.11821 Péter Bereczky Dániel Horpácsi and Simon Thompson. 2020. A Proof Assistant Based Formalisation of Core Erlang. ( 2020 ). arXiv: 2005.11821

2. A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

3. Richard Carlsson Björn Gustavsson Erik Johansson Thomas Lindgren Sven-Olof Nyström Mikael Pettersson and Robert Virding. 2004. Core Erlang 1.0.3 language specification. Technical Report. htps://www.it. uu.se/research/group/hipe/cerl/doc/core_erlang-1.0.3.pdf Richard Carlsson Björn Gustavsson Erik Johansson Thomas Lindgren Sven-Olof Nyström Mikael Pettersson and Robert Virding. 2004. Core Erlang 1.0.3 language specification. Technical Report. htps://www.it. uu.se/research/group/hipe/cerl/doc/core_erlang-1.0.3.pdf

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

1. A Semantics of Core Erlang with Handling of Signals;Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30

2. Validating Formal Semantics by Property-Based Cross-Testing;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02