MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Functional Computations in Logic Programs." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Functional computations in logic programs
by Saumya K. Debray, David S. Warren — 1989 — ACM Transactions on Programming Languages and Systems
…Functional Computations in Logic Programs† Saumya K. Debray Department of Computer Science…
Cited by 51 (12 self) – Add To MetaCart

A Partial Evaluation Framework for Curry Programs
by Elvira Albert, Maria Alpuente, Michael Hanus, German Vidal — 1999
… programs, which generalize the concurrent computation models for logic programs with delays to functional…
Cited by 7 (5 self) – Add To MetaCart

Specialization of Functional Logic Programs with Dynamic Scheduling
by Elvira Albert, Maria Alpuente, Michael Hanus, German Vidal
… programs, which generalize the concurrent computation models for logic programs with delays to functional…
Add To MetaCart

Demandness in Rewriting and Narrowing
by Sergio Antoy, Salvador Lucas — 2002 — Proc. of the 11th Int’l Workshop on Functional and (Constraint) Logic Programming WFLP’02, volume 76 of Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher
…-deterministic functional computations in logic programming, uses definitional trees and is therefore limited to constructor…
Cited by 10 (4 self) – Add To MetaCart

Lazy Rewriting in Logic Programming
by Sergio Antoy — 1992
… at the integration of functional computations in logic programming are based on rewriting. We follow this approach…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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