The following pages link to Freja (Q25592):
Displaying 14 items.
- Structure and Properties of Traces for Functional Programs (Q2867898) (← links)
- Reporting Failures in Functional Logic Programs (Q2873788) (← links)
- A Framework for Interpreting Traces of Functional Logic Computations (Q2873790) (← links)
- Backward Trace Slicing for Conditional Rewrite Theories (Q2891440) (← links)
- Dynamic optimization for functional reactive programming using generalized algebraic data types (Q2936767) (← links)
- How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger (Q3150209) (← links)
- Introducing Debugging Capabilities to Natural Semantics (Q3401945) (← links)
- A Program Transformation for Tracing Functional Logic Computations (Q3591083) (← links)
- (Q4433998) (← links)
- Searching for deadlocks while debugging concurrent haskell programs (Q5178019) (← links)
- Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (Q5390283) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395102) (← links)
- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (Q5423541) (← links)
