MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Constrained Partial Deduction." – 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

Constrained partial deduction
by Michael Leuschel, Danny De Schreye — 1997 — Proceedings of the 12th Workshop Logische Programmierung (WLP'97
…Constrained Partial Deduction Michael Leuschel and Danny De Schreye K.U. Leuven, Department…
Cited by 3 (0 self) – Add To MetaCart

Constrained Partial Deduction and the Preservation of Characteristic Trees
by Michael Leuschel, Danny De Schreye — 1997 — NEW GENERATION COMPUTING
…Constrained Partial Deduction and the Preservation of Characteristic Trees Michael Leuschel…
Cited by 20 (15 self) – Add To MetaCart

Soundness and Completeness of Partial Deductions for Well-Founded Semantics
by Halina Przymusinska, Teodor Przymusinski, Hirohisa Seki — 1992 — Proc. of the International Conference on Automated Reasoning, LNAI 624
… deduction and prove the invariance of well-founded semantics under constrained partial deduction, without…
Cited by 6 (1 self) – Add To MetaCart

Program specialisation and abstract interpretation reconciled
by Michael Leuschel — 1998 — In Joint International Conference and Symposium on Logic Programming
… [20, 7], ecological partial deduction [18, 13], constrained partial deduction [15], conjunctive…
Cited by 27 (13 self) – Add To MetaCart

Logic program specialisation
by Michael Leuschel — 1999 — Partial Evaluation: Practice and Theory, LNCS 1706
…, of this approach can be found in [25, 33]. 2. Constrained Partial Deduction [31] The basic idea of constrained…
Cited by 12 (10 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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