Type dependencies for logic programs using ACI-unification

DOI10.1016/S0304-3975(98)00122-4MaRDI QIDQ1575243zbMATH OpenOpenAlexWikidataFDO

Authors V. Lagoon, Michael Codish

Publication date 21 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00122-4

zbMATH Keywords

logic programstype analysisACI unification

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A polymorphic type dependency analysis for logic programs
• scientific article; zbMATH DE number 2084361
• Analysis of polymorphically typed logic programs using ACI-unification
• A type system for logic programs
• scientific article; zbMATH DE number 1692903

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 47903 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 970715 (Why is no real title available?)
• A Unification Algorithm for Associative-Commutative Functions
• A bottom-up polymorphic type inference in logic programming
• A lattice-theoretical fixpoint theorem and its applications
• A model-theoretic reconstruction of the operational semantics of logic programs
• Adventures in associative-commutative unification
• An algebraic approach to sharing analysis of logic programs
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Bottom-up abstract interpretation of logic programs
• Complexity of unification problems with associative-commutative operators
• Declarative modeling of the operational behavior of logic languages
• Semantics-based program analysis for logic-based languages using XSB
• Static analysis of logic programs for independent and parallelism
• The s-semantics approach: Theory and applications
• Type dependencies for logic programs using ACI-unification

Cited in

(7)

• Improving precision of type analysis using non-discriminative union
• scientific article; zbMATH DE number 2084361 (Why is no real title available?)
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• A polymorphic type dependency analysis for logic programs
• Analysis of polymorphically typed logic programs using ACI-unification
• Type dependencies for logic programs using ACI-unification
• The Logic of Typed Feature Structures

This page was built for publication: Type dependencies for logic programs using ACI-unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575243)