Abstract
Declarative debuggers are semi-automatic debugging tools that abstract the execution details to focus on the program semantics. This paper presents a tool implementing this approach for the sequential subset of Erlang, a functional language with dynamic typing and strict evaluation. Given an erroneous computation, it first detects an erroneous function (either a "named" function or a lambda-abstraction), and then continues the process to identify the fragment of the function responsible for the error. Among its features it includes support for exceptions, predefined and built-in functions, higher-order functions, and trusting and undo commands. © 2014 Springer-Verlag.
Cite
CITATION STYLE
Caballero, R., Martin-Martin, E., Riesco, A., & Tamarit, S. (2014). EDD: A declarative debugger for sequential Erlang programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8413 LNCS, pp. 581–586). Springer Verlag. https://doi.org/10.1007/978-3-642-54862-8_49
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
