A Complete Declarative Debugger of Missing Answers
Abstract elided by the publisher.
Related papers
- EDD: A Declarative Debugger for Sequential Erlang Programs TACAS 2014
- Declaratively defining domain-specific language debuggers GPCE 2011
- Correctness of Trap-Based Breakpoint Implementations POPL 1994
- Generating sound and effective memory debuggers ISMM 2013
- Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications OOPSLA 2020
- How to look busy while being as lazy as ever: the implementation of a lazy functional debugger JFP 2001
- Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results Onward! 2024
- Lazy call-by-value evaluation ICFP 2007