Cited in
(31)- Introducing debugging capabilities to natural semantics
- Source-Based Trace Exploration
- Enhancing theorem prover interfaces with program slice information
- A framework for interpreting traces of functional logic computations
- scientific article; zbMATH DE number 2000444 (Why is no real title available?)
- Backward trace slicing for rewriting logic theories
- A Program Transformation for Tracing Functional Logic Computations
- Structure and properties of traces for functional programs
- Backward trace slicing for conditional rewrite theories
- Lazy call-by-value evaluation
- How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
- Dynamic slicing of lazy functional programs based on redex trails
- Theoretical Aspects of Computing – ICTAC 2005
- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
- TeaBag
- ChC 3
- Julienne
- TOY
- Web-TLR
- TK
- FranTk
- Freja
- Hood
- PAKCS
- Yampa
- HUnit
- Forward slicing of functional logic programs by partial evaluation
- Searching for deadlocks while debugging Concurrent Haskell programs
- Testing and tracing lazy functional programs using QuickCheck and Hat
- Reporting failures in functional logic programs
- Dynamic optimization for functional reactive programming using generalized algebraic data types
This page was built for software: Hat
