Hat
From MaRDI portal
Software:25593
swMATH13679MaRDI QIDQ25593FDOQ25593
Author name not available (Why is that?)
Cited In (19)
- Lazy call-by-value evaluation
- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat
- Theoretical Aspects of Computing – ICTAC 2005
- Backward Trace Slicing for Conditional Rewrite Theories
- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Searching for deadlocks while debugging concurrent haskell programs
- Backward Trace Slicing for Rewriting Logic Theories
- Source-Based Trace Exploration
- Title not available (Why is that?)
- A Program Transformation for Tracing Functional Logic Computations
- Dynamic slicing of lazy functional programs based on redex trails
- Structure and properties of traces for functional programs
- A framework for interpreting traces of functional logic computations
- Forward slicing of functional logic programs by partial evaluation
- How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
- Introducing Debugging Capabilities to Natural Semantics
- Enhancing theorem prover interfaces with program slice information
- Reporting failures in functional logic programs
This page was built for software: Hat
