Pages that link to "Item:Q1398677"
From MaRDI portal
The following pages link to Eliminating dead code on recursive data. (Q1398677):
Displaying 5 items.
- Eliminating partially dead code in explicitly parallel programs (Q1128737) (← links)
- A new approach to recursion removal (Q1185010) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Static slicing of rewrite systems (Q2873792) (← links)
- Compiler Construction (Q5308736) (← links)