Hat

swMATH13679MaRDI QIDQ25593FDOQ25593

Author name not available (Why is that?)

Official website: http://projects.haskell.org/hat/

Cited In (31)

• Lazy call-by-value evaluation
• 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
• Source-Based Trace Exploration
• 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
• TK
• FranTk
• Freja
• Hood
• PAKCS
• Yampa
• HUnit
• Dynamic slicing of lazy functional programs based on redex trails
• Structure and properties of traces for functional programs
• Backward trace slicing for rewriting logic theories
• Searching for deadlocks while debugging Concurrent Haskell 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
• Enhancing theorem prover interfaces with program slice information
• Backward trace slicing for conditional rewrite theories
• Reporting failures in functional logic programs

This page was built for software: Hat