MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

4 documents found, showing 1 through 4.

ATOM

Information Propagation in Partial Evaluation by Constraints
by L. Lafave — 1997 — In Workshop on Constraint Programming for Reasoning about Programming
… it apart from logic programming languages. 2 Incorporating Constraints into Partial Evaluation We have…
Cited by 1 (1 self) – Add To MetaCart

Analysis of Imperative Programs through Analysis of Constraint Logic Programs
by Julio C. Peralta, Julio C. Peralta, John P. Gallagher, John P. Gallagher, Huseyin Saglam, Huseyin Saglam — 1998
…. PARTIAL EVALUATION, CONSTRAINT LOGIC PROGRAMMING, OPERATIONAL SEMANTICS, IMPERATIVE PROGRAM ANALYSIS. 1…
Cited by 4 (0 self) – Add To MetaCart

April 1997 CSTR-97-003
by University Of Bristol, Julio C. Peralta, John P. Gallagher, Julio C. Peralta, John P. Gallagher
… of a partial evaluator for constraint logic programs we can obtain program specialisation of imperative…
Add To MetaCart

Speeding Up Inferences Using Relevance
by Reasoning Formalism And, Alon Y. Levy, Richard E. Fikes, Yehoshua Sagiv — 1997 — Artificial Intelligence
…-tree can also be viewed as a tool for partial evaluation of constraint logic programs [85, 67, 15…
Add To MetaCart

Showing 1 through 4.

ATOM

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