Hat
From MaRDI portal
Software:25593
No author found.
Related Items (19)
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 ⋮ Lazy call-by-value evaluation ⋮ The Feasibility of Interactively Probing Quiescent Properties of GUI Applications ⋮ Source-Based Trace Exploration ⋮ Searching for deadlocks while debugging concurrent haskell programs ⋮ A Program Transformation for Tracing Functional Logic Computations ⋮ Dynamic slicing of lazy functional programs based on redex trails ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ Introducing Debugging Capabilities to Natural Semantics ⋮ Forward slicing of functional logic programs by partial evaluation ⋮ Structure and Properties of Traces for Functional Programs ⋮ Enhancing Theorem Prover Interfaces with Program Slice Information ⋮ 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: Hat
