Pages that link to "Item:Q2271904"
From MaRDI portal
The following pages link to Dynamic slicing of lazy functional programs based on redex trails (Q2271904):
Displaying 6 items.
- Adapting combinator and SECD machines to display snapshots of functional computations (Q1082792) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Structure and properties of traces for functional programs (Q2867898) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Explainable dynamic programming (Q5016213) (← links)