Pages that link to "Item:Q2867898"
From MaRDI portal
The following pages link to Structure and properties of traces for functional programs (Q2867898):
Displaying 8 items.
- Tracking CSP computations (Q1633350) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Structure and properties of traces for functional programs (Q2867898) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- (Q3771591) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Adaptable Traces for Program Explanations (Q6488155) (← links)