A Declarative Debugger for Sequential Erlang Programs

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38916-0_6 ◽

2013 ◽

pp. 96-114 ◽

Author(s):

Rafael Caballero ◽

Enrique Martin-Martin ◽

Adrián Riesco ◽

Salvador Tamarit

Download Full-text