MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Polymorphically Typed Logic Programs." – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

Polymorphically Typed Logic Programs
by Eyal Yardeni, Thom Fruehwirth, Ehud Shapiro — 1991 — Types in Logic Programming
…ECRC/TR/91/LP-61 11 July 1991 Polymorphically Typed Logic Programs Eyal Yardeni, Thom Fruehwirth…
Cited by 24 (2 self) – Add To MetaCart

Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
by Jan-Georg Smaus — 2001 — In Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Artificial Intelligence
…Analysis of Polymorphically Typed Logic Programs Using ACI-Unification Jan--Georg Smaus…
Cited by 1 (0 self) – Add To MetaCart

Mode Analysis Domains for Typed Logic Programs
by Jan Georg Smaus, Patricia M. Hill, Andy King — 2000
… for polymorphically typed logic programs and shows how specialised domains may be constructed for each type…
Cited by 12 (2 self) – Add To MetaCart

Domain Construction for Mode Analysis of Typed Logic Programs
by Jan-Georg Smaus, Pat Hill, Andy King — 1997
… domains for polymorphically typed logic programs where each nonvariable symbol is explicitly typed. We…
Cited by 3 (2 self) – Add To MetaCart

Semantic-Based Software Support for Constraint Logic Programs
by Hill
… logic programs and shows how specialized domains constructed for each type in the program capture…
Add To MetaCart

Detecting and Exploiting Determinism in Logic Programs
by Pat Hill, Andy King
… for polymorphic typed logic programs and shows how specialised domains may be constructed for each type…
Add To MetaCart

Showing 1 through 6.

ATOM

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