Improving precision of type analysis using non-discriminative union

DOI10.1017/S1471068407003055MaRDI QIDQ5437649zbMATH OpenFDO

Authors Lunjin Lu

Publication date 21 January 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationtype analysistablingnon-discriminative union

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Non-termination Analysis of Logic Programs Using Types
• scientific article; zbMATH DE number 1948391
• Type analysis of prolog using type graphs
• scientific article; zbMATH DE number 1692903
• A polymorphic type dependency analysis for logic programs

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• A bottom-up polymorphic type inference in logic programming
• A polymorphic type system for Prolog
• A practical framework for theabstract interpretation of logic programs
• A type system for logic programs
• Abstract interpretation and application to logic programs
• Abstract interpretation based on oldt resolution
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• Efficient run-time type checking of typed logic programs
• Generalizing Def and Pos to Type Analysis
• Path dependent analysis of logic programs
• Polymorphic type analysis in logic programs by abstract interpretation
• Properties of substitutions and unifications
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Type analysis of prolog using type graphs
• Type dependencies for logic programs using ACI-unification
• Typing constraint logic programs

Cited in

(4)

• ν-Types for Effects and Freshness Analysis
• A polymorphic type dependency analysis for logic programs
• Checking Emptiness of Non-Deterministic Regular Types with Set Operators
• Enhanced type inference for binding-time analysis

This page was built for publication: Improving precision of type analysis using non-discriminative union

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