Dynamic slicing of lazy functional programs based on redex trails
From MaRDI portal
Publication:2271904
DOI10.1007/s10990-008-9023-7zbMath1192.68139MaRDI QIDQ2271904
Germán Vidal, Josep Silva, Claudio Ochoa
Publication date: 4 August 2009
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.9841
68N18: Functional programming and lambda calculus
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Dynamic program slicing
- Eliminating dead code on recursive data.
- Dynamic slicing of lazy functional programs based on redex trails
- Operational semantics for declarative multi-paradigm languages
- Static Slicing of Rewrite Systems
- Program Slicing
- The program dependence graph and its use in optimization
- Higher-order narrowing with definitional trees