Home » Authors » Ivan Lanese, Naoki Nishida, Adrian Palacios, Germán Vidal

Ivan Lanese, Naoki Nishida, Adrian Palacios, Germán Vidal

Public reference bibliography and cataloged PDF materials authored or published by Ivan Lanese, Naoki Nishida, Adrian Palacios, Germán Vidal.

Found 1 document(s) Page 1 of 1

CauDEr: A Causal-Consistent Reversible Debugger for Erlang

Year: 2018 • Source: hal.science • Listed PDF

Programming languages based on the actor model, such as Erlang, avoid some concurrency bugs by design. However, other concurrency bugs, such as message order violations and livelocks, can still show up in programs. These...