Hood
From MaRDI portal
swMATH13680MaRDI QIDQ25594FDOQ25594
Author name not available (Why is that?)
Official website: http://ku-fpg.github.io/software/hood/
Cited In (26)
- Theoretical Aspects of Computing – ICTAC 2005
- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
- Testing and tracing lazy functional programs using QuickCheck and Hat
- Dynamic optimization for functional reactive programming using generalized algebraic data types
- Introducing debugging capabilities to natural semantics
- Title not available (Why is that?)
- A Program Transformation for Tracing Functional Logic Computations
- TeaBag
- ChC 3
- Julienne
- TOY
- Web-TLR
- FranTk
- Freja
- Hat
- PAKCS
- Yampa
- HUnit
- Structure and properties of traces for functional programs
- A debugging system based on natural semantics
- Backward trace slicing for rewriting logic theories
- Searching for deadlocks while debugging Concurrent Haskell programs
- A framework for interpreting traces of functional logic computations
- How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
- Backward trace slicing for conditional rewrite theories
- Reporting failures in functional logic programs
This page was built for software: Hood
