Causal-Consistent Reversible Debugging: Improving CauDEr

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67438-0_9 ◽

2021 ◽

pp. 145-160

Author(s):

Juan José González-Abril ◽

Germán Vidal

Download Full-text