Hood
From MaRDI portal
Software:25594
No author found.
Related Items (15)
Unnamed Item ⋮ Backward Trace Slicing for Conditional Rewrite Theories ⋮ Unnamed Item ⋮ Dynamic optimization for functional reactive programming using generalized algebraic data types ⋮ Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ The Feasibility of Interactively Probing Quiescent Properties of GUI Applications ⋮ Searching for deadlocks while debugging concurrent haskell programs ⋮ A Program Transformation for Tracing Functional Logic Computations ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ Introducing Debugging Capabilities to Natural Semantics ⋮ Structure and Properties of Traces for Functional Programs ⋮ Reporting Failures in Functional Logic 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
This page was built for software: Hood
