Cited By
View all- Bereczky PHorpácsi DThompson S(2024)Program Equivalence in the Erlang Actor ModelComputers10.3390/computers1311027613:11(276)Online publication date: 23-Oct-2024
A Semantics of Core Erlang with Handling of Signals
Pages 31 - 38
Abstract
We introduce a small step semantics for a subset of Core Erlang modeling its monitoring and signal systems. The goal of our semantics is to enable the construction of causal explanations for property violations, which will be the object of future work. As a first axis of reflection, we chose to study the impact of the order of messages on a faulty behavior. We present our semantics and discuss some of our design choices. This work is a part of a broader project on causal debugging of concurrent programs in Erlang.
References
[1]
Ericsson AB. 2023. Erlang online documentation. https://www.erlang.org/docs
[2]
Ericsson AB. 2023. Erlang Reference Manual. https://www.erlang.org/doc/reference_manual/users_guide.html
[3]
Ericsson AB. 2023. Erlang Run-Time System Application (ERTS) Reference Manual. https://www.erlang.org/doc/apps/erts/index.html
[4]
P. Bereczky, D. Horpácsi, and S. J. Thompson. 2020. Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects. In Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang (Erlang 2020). ACM Press, New York, NY, USA. 1–13. isbn:9781450380492 https://doi.org/10.1145/3406085.3409008
[5]
R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit. 2019. A core Erlang semantics for declarative debugging. Journal of Logical and Algebraic Methods in Programming, 107 (2019), 1–37. issn:2352-2208 https://doi.org/10.1016/j.jlamp.2019.05.002
[6]
R. Carlsson, T. Lindgren, B. Gustavsson, S.-O. Nystrom, R. Virding, E. Johansson, and M. Pettersson. 2004. Core Erlang 1.0.3 language specification. 31.
[7]
A. Kong Win Chang, J. Feret, and G. Gössler. 2023. A semantics for Core Erlang with handlings of signals. https://gitlab.inria.fr/dcore-pub/erlangsemantics.git
[8]
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J.F. Quesada. 2002. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285, 2 (2002), 187–243. issn:0304-3975 https://doi.org/10.1016/S0304-3975(01)00359-0 Rewriting Logic and its Applications.
[9]
E. D’Osualdo, J. Kochems, and C. H. L. Ong. 2013. Automatic Verification of Erlang-Style Concurrency. In Static Analysis - SAS 2013, F. Logozzo and M. Fähndrich (Eds.) (LNCS, Vol. 7935). Springer, 454–476. isbn:978-3-642-38856-9 https://doi.org/10.1007/978-3-642-38856-9_24
[10]
G. Fabbretti, I. Lanese, and J.-B. Stefani. 2021. Causal-Consistent Debugging of Distributed Erlang Programs. In Reversible Computation - RC 2021, S. Yamashita and T. Yokoyama (Eds.) (LNCS, Vol. 12805). Springer, 79–95. https://doi.org/10.1007/978-3-030-79837-6_5
[11]
G. Fabbretti, I. Lanese, and J.-B. Stefani. 2022. Generation of a Reversible Semantics for Erlang in Maude. In Formal Methods and Software Engineering - ICFEM 2022, A. Riesco and M. Zhang (Eds.) (LNCS, Vol. 13478). Springer, 106–122. https://doi.org/10.1007/978-3-031-17244-1_7
[12]
Erlang Forums. 2022. Need help understanding some Erlang code #13. https://erlangforums.com/t/need-help-understanding-some-erlang-code/1623/13 Accessed: 2023-07-18, Archived at
[13]
F. Huch. 1999. Verification of Erlang Programs Using Abstract Interpretation and Model Checking. SIGPLAN Not., 34, 9 (1999), sep, 261–272. issn:0362-1340 https://doi.org/10.1145/317765.317908
[14]
M. Neuhäußer and T. Noll. 2007. Abstraction and Model Checking of Core Erlang Programs in Maude. Electronic Notes in Theoretical Computer Science, 176, 4 (2007), July, 147–163. issn:15710661 https://doi.org/10.1016/j.entcs.2007.06.013
[15]
H. Svensson and L.-A. Fredlund. 2007. A more accurate semantics for distributed Erlang. In Proceedings of the 2007 SIGPLAN workshop on Erlang Workshop - Erlang ’07. ACM Press, Freiburg, Germany. isbn:978-1-59593-675-2 https://doi.org/10.1145/1292520.1292528
Index Terms
- A Semantics of Core Erlang with Handling of Signals
Recommendations
Towards an Isabelle/HOL formalisation of core Erlang
Erlang 2017: Proceedings of the 16th ACM SIGPLAN International Workshop on ErlangAs part of broader work to improve the safety of Erlang systems, we are attempting to detect (and prevent) messages which remain forever unreceived in process' mailboxes using a mix of static and runtime analysis. We have formalised the communicating ...
A more accurate semantics for distributed erlang
ERLANG '07: Proceedings of the 2007 SIGPLAN workshop on ERLANG WorkshopIn order to formally reason about distributed Erlang systems, it is necessary to have a formal semantics. In a previous paper we have proposed such a semantics for distributed Erlang. However, recent work with a model checker for Erlang revealed that ...
Using many-core coprocessor to boost up Erlang VM
Erlang '13: Proceedings of the twelfth ACM SIGPLAN workshop on ErlangThe trend in processor design is to build more cores on a single chip. Commercial many-core processor is emerging these years. Intel Xeon Phi coprocessor , which is equipped with at least 60 relatively slow cores, is the first commercial many-core ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
August 2023
38 pages
Copyright © 2023 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 31 August 2023
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- ANR
Conference
Erlang '23
Sponsor:
Acceptance Rates
Overall Acceptance Rate 51 of 68 submissions, 75%
Upcoming Conference
ICFP '25
- Sponsor:
- sigplan
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 62Total Downloads
- Downloads (Last 12 months)27
- Downloads (Last 6 weeks)3
Reflects downloads up to 12 Dec 2024
Other Metrics
Citations
Cited By
View all- Bereczky PHorpácsi DThompson S(2024)Program Equivalence in the Erlang Actor ModelComputers10.3390/computers1311027613:11(276)Online publication date: 23-Oct-2024
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in