Reversible Debugging of Erlang Programs in CauDEr*

被引：0
|
作者：
Lanese, Ivan [1 ]
Vidal, German [2 ]
机构：
[1] Univ Bologna INRIA, Olas Team, Bologna, Italy
[2] Univ Politecn Valencia, Valencia, Spain
来源：
PROCEEDINGS OF THE 2ND ACM INTERNATIONAL WORKSHOP ON FUTURE DEBUGGING TECHNIQUES, DEBT 2024 | 2024年
关键词：
Reversible computing; Debugging; Concurrency;
D O I：
10.1145/3678720.3685319
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.
引用
收藏
页码：30 / 31
页数：2
相关论文
共 50 条
  • [1] Reversible Computing in Debugging of Erlang Programs
    Lanese, Ivan
    Schultz, Ulrik P.
    Ulidowski, Irek
    IT PROFESSIONAL, 2022, 24 (01) : 74 - 80
  • [2] Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
    Lami, Pietro
    Lanese, Ivan
    Stefani, Jean -Bernard
    Coen, Claudio Sacerdoti
    Fabbretti, Giovanni
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 138
  • [3] CauDEr: A Causal-Consistent Reversible Debugger for Erlang
    Lanese, Ivan
    Nishida, Naoki
    Palacios, Adrian
    Vidal, German
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2018, 2018, 10818 : 247 - 263
  • [4] Declarative debugging of concurrent Erlang programs
    Caballero, Rafael
    Martin-Martin, Enrique
    Riesco, Adrian
    Tamarit, Salvador
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 101 : 22 - 41
  • [5] Supporting the debugging of Erlang programs by symbolic execution
    Erdei, Zsofia
    Toth, Melinda
    Bozo, Istvan
    ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA, 2024, 16 (01) : 44 - 61
  • [6] Causal-Consistent Debugging of Distributed Erlang Programs
    Fabbretti, Giovanni
    Lanese, Ivan
    Stefani, Jean-Bernard
    REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 79 - 95
  • [7] Reversible Imperative Parallel Programs and Debugging
    Hoey, James
    Ulidowski, Irek
    REVERSIBLE COMPUTATION (RC 2019), 2019, 11497 : 108 - 127
  • [8] Debugging Meets Testing in Erlang
    Tamarit, Salvador
    Riesco, Adrian
    Martin-Martin, Enrique
    Caballero, Rafael
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 171 - 180
  • [9] A core Erlang semantics for declarative debugging
    Caballero, Rafael
    Martin-Martin, Enrique
    Riesco, Adrian
    Tamarit, Salvador
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 1 - 37
  • [10] A Reversible Semantics for Erlang
    Nishida, Naoki
    Palacios, Adrian
    Vidal, German
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 259 - 274
12345