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 条
  • [21] DEBUGGING TSR PROGRAMS
    MENICO, C
    DR DOBBS JOURNAL, 1989, 14 (02): : 67 - &
  • [22] DEBUGGING THOSE PROGRAMS
    ALBERS, RJ
    PLANT ENGINEERING, 1985, 39 (06) : 4 - 4
  • [23] Debugging functional programs
    Stumptner, M
    Wotawa, F
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 1074 - 1079
  • [24] Reversible Choreographies via Monitoring in Erlang
    Francalanza, Adrian
    Mezzina, Claudio Antares
    Tuosto, Emilio
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), 2018, 10853 : 75 - 92
  • [25] WRITING AND DEBUGGING COMPUTER PROGRAMS
    PHELAN, PF
    CHEMICAL ENGINEERING, 1973, 80 (13) : 98 - 106
  • [26] DEBUGGING ADA TASKING PROGRAMS
    HELMBOLD, D
    LUCKHAM, D
    IEEE SOFTWARE, 1985, 2 (02) : 47 - 57
  • [27] UNDERSTANDING AND DEBUGGING NOVICE PROGRAMS
    JOHNSON, WL
    ARTIFICIAL INTELLIGENCE, 1990, 42 (01) : 51 - 97
  • [28] Statistical debugging of sampled programs
    Zheng, AX
    Jordan, MI
    Liblit, B
    Aiken, A
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 16, 2004, 16 : 603 - 610
  • [29] PREPARING AND DEBUGGING OF NC PROGRAMS
    TRYBUS, P
    WOJTYCZEK, J
    MECHANIK MIESIECZNIK NAUKOWO-TECHNICZNY, 1978, 51 (04): : 209 - 212
  • [30] DEBUGGING PARALLEL PROGRAMS IN PARALLEL
    RUBIN, RV
    SIGPLAN NOTICES, 1989, 24 (01): : 216 - 225
12345