Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
From MaRDI portal
Publication:3591075
DOI10.1007/978-3-540-71410-1_6zbMath1196.68037OpenAlexW2101307253MaRDI QIDQ3591075
Germán Vidal, Josep Silva, J. Guadalupe Ramos, Gustavo Arroyo
Publication date: 10 September 2007
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71410-1_6
Related Items
Termination of narrowing via termination of rewriting ⋮ A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Uses Software