EDD: A Declarative Debugger for Sequential Erlang Programs
No abstract available.
Related papers
- A Complete Declarative Debugger of Missing Answers ESOP 1998
- A Practical Subtyping System For Erlang ICFP 1997
- Declaratively defining domain-specific language debuggers GPCE 2011
- Generating sound and effective memory debuggers ISMM 2013
- 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
- Logical types for untyped languages ICFP 2010