Narrowing-Driven Partial Evaluation of Functional Logic Programs
Abstract elided by the publisher.
Related papers
- Fast narrowing-driven partial evaluation for inductively sequential programs ICFP 2005
- Partial Evaluation of Functional Logic Programs TOPLAS 1998
- Higher-Order Narrowing with Definitional Trees JFP 1999
- A Unified Computation Model for Functional and Logic Programming POPL 1997
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs POPL 1984
- Leftmost Outside-In Narrowing Calculi JFP 1997
- Pol: specification-driven synthesis of architectural code frameworks for platform-based applications GPCE 2012
- Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages JFP 1998