M. Leuschel. The ecce partial deduction system. In G. Puebla, editor, ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson USA, Oct 1997. Universidad Polit'ecnica de Madrid Tech. Rep. CLIP7/97.1. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Optimization of Mercury programs - Taylor (1998) (3 citations) (Correct)
....for the upto sum1 and upto sum2 benchmarks arise from completely removing all data structures the optimized programs do only integer manipulation. app last, ground unify.complex and ground unify.simple test a special bottom up propagation pass [21] present in the ECCE partial deduction system [18] for which the Mercury compiler contains no equivalent. advisor, missionaries and ssuply are non deterministic, so the determinate unfolding rules used by our algorithm are not likely to produce much improvement. map.reduce and map.rev are simple higher order specialization problems. Higher order ....
Michael Leuschel. Ecce partial deduction system. http://www.cs.kuleuven.ac.be/ dtai/prototypes/ecce.html.
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) Self-citation (Leuschel) (Correct)
No context found.
M. Leuschel. The ecce partial deduction system. In G. Puebla, editor, Tools and Environments for (Constraint) Logic Programming (ILPS), Port Jefferson USA, Oct 1997. Universidad Polit'ecnica de Madrid Tech. Rep. CLIP7/97.1.
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
No context found.
M. Leuschel. The ecce partial deduction system. In G. Puebla, editor, ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, Port Jefferson USA, Oct 1997. Universidad Polit'ecnica de Madrid Tech. Rep. CLIP7/97.1.
A Practical Partial Evaluation Scheme for Multi-Paradigm.. - Albert, Hanus, Vidal (2002) (Correct)
No context found.
M. Leuschel. The ecce Partial Deduction System. In Proc. of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, U.P. Madrid, Tech. Rep. CLIP7/97.1, 1997.
A Practical Partial Evaluation Scheme for Multi-Paradigm.. - Albert, Hanus, Vidal (2002) (Correct)
No context found.
M. Leuschel. The ecce Partial Deduction System. In Proc. of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, U.P. Madrid, Tech. Rep. CLIP7/97.1, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC