Searching for "Directional Type Checking of Logic Programs" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Directional Type Checking of Logic Programs
- …Directional Type Checking of Logic Programs Alexander Aiken Computer Science Division University…
- Cited by 39 (1 self) – Add To MetaCart
-
Directional Type Checking for Logic Programs: Beyond Discriminative Types
- …Directional Type Checking for Logic Programs: Beyond Discriminative Types Witold Charatonik Max…
- Cited by 7 (1 self) – Add To MetaCart
-
Automata on DAG Representations of Finite Trees
- …-complete. Using these automata we prove the decidability of directional type checking for logic programs, and thus…
- Cited by 1 (0 self) – Add To MetaCart
-
Directional Type Inference for Logic Programs
- … present an algorithm for automatic type checking of logic programs wrt. given directional types…
- Cited by 15 (6 self) – Add To MetaCart
-
CompuNet subgroup on Program Development, Analysis and Transformation
- … and T. Lakshman. Directional type checking of logic programs. In B. Le Charlier, editor, Proceedings…
- Add To MetaCart
Showing 1 through 5.
