MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Partial Evaluation in Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

75 documents found, showing 1 through 10. Next 10 →

ATOM

Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
by Elvira Albert, Germán Puebla, John Gallagher — 2006 — In Proc. of LOPSTR’05. Springer LNCS 3901
…Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates Elvira…
Cited by 9 (6 self) – Add To MetaCart

Supervising Offline Partial Evaluation of Logic Programs using Online Techniques
by Michael Leuschel, Stephen-john Craig, Dan Elphick — 2006 — In Proc. of the Int’l Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’06). Springer LNCS
…Supervising Offline Partial Evaluation of Logic Programs using Online Techniques ⋆ Michael…
Cited by 1 (0 self) – Add To MetaCart

Towards efficient partial evaluation in logic programming, New Generation Computing 14: 237--259
by Leopoldo E. Bertossi, D. A. Fuller, S. A. Bocic, L. E. Bertosst — 1996
… programs are logic programs, being the partial evaluator itself a logic program. Up to now, partial…
Cited by 1 (0 self) – Add To MetaCart

Cost-Augmented Partial Evaluation of Functional Logic Programs
by German Vidal — 2004 — Higher-Order and Symbolic Computation
…Cost-Augmented Partial Evaluation of Functional Logic Programs ∗ Germán Vidal DSIC, Technical…
Cited by 3 (1 self) – Add To MetaCart

A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
by Laura Lafave — 1998
…A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave…
Cited by 12 (0 self) – Add To MetaCart

Splitting a Default Theory
by Hudson Turner — 1996 — In Proc. of AAAI-96
…, to "partial evaluation" in logic programming, in which results obtained from one part of a program are used…
Cited by 17 (2 self) – Add To MetaCart

Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation
by Germán Vidal — 2007 — In Proc. of the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM’07
…Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation ⋆ Germán Vidal…
Cited by 4 (0 self) – Add To MetaCart

Efficiently generating efficient generating extensions in Prolog
by Jesper Jørgensen, Michael Leuschel — 1996 — Partial Evaluation, International Seminar, LNCS 1110, pages 238–262, Schloß Dagstuhl
… applicable to partial evaluation of logic programming languages, also called partial deduction. Self…
Cited by 15 (13 self) – Add To MetaCart

Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract
by G. Puebla, John Gallagher, Manuel Hermenegildo — 1997 — Proceedings of the ILPS’97 Workshop on Specialisation of Declarative Programs and its Application, K.U. Leuven, Tech. Rep. CW 255
… to the study of such control strategies in the context of "on-line" partial evaluation of logic programs [MG95…
Cited by 12 (1 self) – Add To MetaCart

Lix: An effective self-applicable partial evaluator for Prolog
by Stephen-john Craig, Michael Leuschel — 2004 — In Proceedings of FLOPS’04
…-trivial specialisation and be effectively self-applied. The attempts to self-apply partial evaluators for logic programs…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB