Fast narrowing-driven partial evaluation for inductively sequential programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

J. Guadalupe Ramos, Josep Silva, Germán Vidal. Fast narrowing-driven partial evaluation for inductively sequential programs. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 228-239, ACM, 2005. [doi]

The following publications are possibly variants of this publication:

Fast Offline Partial Evaluation of Large Logic ProgramsMichael Leuschel, Germán Vidal. LOPSTR 2009: 119-134 [doi]

Narrowing-Driven Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. ESOP 1996: 45-61

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

A Partial Evaluation Framework for Curry ProgramsElvira Albert, María Alpuente, Michael Hanus, Germán Vidal. lpar 1999: 376-395

An offline partial evaluator for curry programsJ. Guadalupe Ramos, Josep Silva, Germán Vidal. wcflp 2005: 49-53 [doi]

runs on WebDSL