Communication Dans Un Congrès Année : 2025

CESAn: A Core Erlang Semantics Analyser

Résumé

In the concurrent distributed language Erlang, processes interact through message passing and signals. One of the main sources of non-determinism that make Erlang programs difficult to debug, is the order in which messages are handled. We present a prototype tool called CESAn that implements a small-step semantics that faithfully represents message handling in Core Erlang, enabling the user to investigate the causes of non-determinism in Erlang stemming from message handling. We see CESAn as a building block for debugging and analysis tools for Erlang.

Fichier principal
Vignette du fichier
cesan.pdf (1.98 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05353119 , version 1 (07-11-2025)

Licence

Identifiants

Citer

Aurélie Kong Win Chang, Jérôme Feret, Gregor Gössler. CESAn: A Core Erlang Semantics Analyser. DisCoTec 2025 - 20th International Federated Conference on Distributed Computing Techniques / CORSE - Components Operationally: Reversibility and System Engineering, Jun 2025, Lille, France. pp.103-115, ⟨10.1007/978-3-031-99717-4_6⟩. ⟨hal-05353119⟩
440 Consultations
160 Téléchargements

Altmetric

Partager

  • More