๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Polymorphic Type Dependency Analysis for Logic Programs

โœ Scribed by Lunjin Lu

Publisher
Springer
Year
2011
Tongue
English
Weight
489 KB
Volume
29
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Type dependencies for logic programs usi
Type dependencies for logic programs using ACI-unification
โœ Michael Codish; Vitaly Lagoon ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 197 KB

This paper presents a new notion of typing for logic programs which generalizes the notion of directional types. The generation of type dependencies for a logic program is fully automatic with respect to a given domain of types. The analysis method is based on a novel combination of program abstract

A semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
โœ Michael Codish; Cohavit Taboch ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ยฑ a possibly inยฎnite set of binary clauses. Termination of a program P and goal G is determined by the absenc