MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Domains for Logic Programming." – sorted by Relevance.

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

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

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

ATOM

Efficient and Precise Sharing Domains for Logic Programs
by Christian Fecht — 1996 — Programming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium, volume 1140 of Lecture Notes in Computer Science
…Efficient and Precise Sharing Domains for Logic Programs Christian Fecht Universitat des…
Cited by 4 (0 self) – Add To MetaCart

Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern
by Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck — 2000
… of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesi a…
Cited by 54 (15 self) – Add To MetaCart

Specialising Finite Domain Programs Using Polyhedra
by Jacob M. Howe, Andy King — 2000 — Logic-Based Program Synthesis and Transformation (LOPSTR’99), volume 1817 of Springer-Verlag Lecture Notes in Computer Science
… is described for tightening domain constraints of finite domain logic programs by applying a static analysis…
Cited by 2 (0 self) – Add To MetaCart

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
by Giorgio Levi, Fausto Spoto — 1998
…An Experiment in Domain Renement: Type Domains and Type Representations for Logic Programs Giorgio…
Cited by 6 (3 self) – Add To MetaCart

VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications
by Marco Comini — 2002 — Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming, number UDMI/18/2002/RR in Research Reports
… constraint logic language (CHIP). 1.1 The Type Domain The domain of types for logic programming used in Veri…
Cited by 3 (2 self) – Add To MetaCart

A bidirectional refinement type system for LF
by William Lovas, Frank Pfenning — Electronic Notes in Theoretical Computer Science, 196:113–128, January 2008. [NPP07] [Pfe92] [Pfe93] [Pfe01] Aleksandar Nanevski, Frank Pfenning, and Brigitte
… the expressive power of our system with several examples in the domain of logics and programming languages…
Cited by 5 (3 self) – Add To MetaCart

Integration of Functional and Logic Programming
by Michael Hanus, Herbert Kuchen, Rwth Aachen — 1994 — The Journal of Logic Programming
… domain of logic programming, logic variables are seldom bound to a distinct value but typically…
Cited by 7 (0 self) – Add To MetaCart

On Proof Normalization in Linear Logic
by Didier Galmiche, Guy Perrier, Crin Cnrs Inria — 1994 — Theoretical Computer Science
… by the significance it may have in different domains as logic programming or program synthesis through theorem proving…
Cited by 26 (12 self) – Add To MetaCart

Making abstract domains condensing
by Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari — 2005 — ACM Transactions on Computational Logic (ACM-TOCL
…, with respect to unification. In the case of abstract domains for logic program analysis approximating computed…
Cited by 2 (1 self) – Add To MetaCart

Model-Based Diagnosis with Constraint Logic Programs
by Igor Mozetic, Christian Holzbaur — 1991 — Proc. 7th Austrian Conf. on Artificial Intelligence, OGAI-91
…(B) and CLP(!). CLP(B) extends the standard computational domain of logic programs by boolean expressions…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB