Improving precision of type analysis using non-discriminative union

DOI10.1017/S1471068407003055zbMATH Open1128.68016MaRDI QIDQ5437649FDOQ5437649

Lunjin Lu

Publication date: 21 January 2008

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

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

zbMATH Keywords

abstract interpretationtype analysistablingnon-discriminative union

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Cited In (4)

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

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)