Sequence-based abstract interpretation of Prolog

DOI10.1017/S1471068402001114MaRDI QIDQ4452611zbMATH OpenOpenAlexFDO

Authors Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck

Publication date 1 March 2004

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

Full work available at URL https://doi.org/10.1017/s1471068402001114

zbMATH Keywords

abstract interpretationstatic analysisProlog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 516993
• A practical framework for theabstract interpretation of logic programs
• Publication:3201751
• Abstract interpretation and application to logic programs
• Semantics for Prolog with cut -- revisited

Cited in

(12)

• scientific article; zbMATH DE number 1954117 (Why is no real title available?)
• Semantics for Prolog with cut -- revisited
• A semantics-based determinacy analysis for Prolog with cut
• RedAlert: Determinacy inference for Prolog
• scientific article; zbMATH DE number 1617316 (Why is no real title available?)
• scientific article; zbMATH DE number 1953275 (Why is no real title available?)
• scientific article; zbMATH DE number 516993 (Why is no real title available?)
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• An abstract interpretation framework for optimizing dynamic modular logic languages
• A novel derivation framework for definite logic program
• Abstract interpretation based on oldt resolution
• Semantics-based program analysis for logic-based languages using XSB

This page was built for publication: Sequence-based abstract interpretation of Prolog

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