Searching for "A Type System for Logic Programs." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Directional Type Checking for Logic Programs: Beyond Discriminative Types
- … of Wroc law, Poland Abstract. Directional types form a type system for logic programs which is based…
- Cited by 7 (1 self) – Add To MetaCart
-
Directional Type Inference for Logic Programs
- … Introduction Directional types form a type system for logic programs which is based on the view of a predicate…
- Cited by 15 (6 self) – Add To MetaCart
-
Polymorphic Directional Types for Logic Programming
- …04319 1 A review of notions related to types for logic programs can be found in [17]. system…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Use of Types in Logic Programming
- … the semantics of a program is usually independent of types. Type systems for logic programming languages differ…
- Cited by 4 (2 self) – Add To MetaCart
-
Augmented Prolog - An Evolutionary Approach
- … language to add a type system to logic programming. Our approach is to add type information as special…
- Cited by 1 (1 self) – Add To MetaCart
-
Automata on DAG Representations of Finite Trees
- …. Directional types form a type system for logic programs which is based on the view of a predicate as a…
- Cited by 1 (0 self) – Add To MetaCart
-
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
- … of logic programming [12]. We use a type system for logic programs with parametric polymorphism [7, 9, 16…
- Cited by 1 (0 self) – Add To MetaCart
-
WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
- …. of Bristol. YARDENI, E., AND SHAPIRO, E.Y. 1987. "A Type System for logic Programs ", In Concurrent Prolog…
- Add To MetaCart
Showing 1 through 8.
