Pages that link to "Item:Q5168916"
From MaRDI portal
The following pages link to Functional programs that explain their work (Q5168916):
Displaying 5 items.
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- When is a functional program not a functional program? (Q2817707) (← links)
- Explainable dynamic programming (Q5016213) (← links)
- Functional differentiation of computer programs (Q5234268) (← links)
- Adaptable Traces for Program Explanations (Q6488155) (← links)