Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

DOI10.1017/S1471068419000383zbMath1434.68069arXiv1908.00104OpenAlexW2974707138WikidataQ127225811 ScholiaQ127225811MaRDI QIDQ5108525

Joaquin Arias, Manuel Carro

Publication date: 4 May 2020

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

Full work available at URL: https://arxiv.org/abs/1908.00104

zbMATH Keywords

constraintstablingPrologabstract interpretationCiaoPPPLAI

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• TCHR
• YAP-Prolog
• Ciao
• CiaoPP
• CAT
• SWI-Prolog

Cites Work

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• The YAP Prolog system
• SWI-Prolog
• An overview of Ciao and its design philosophy
• TCHR: a framework for tabled CLP
• Compile-time derivation of variable dependency using abstract interpretation
• Abstract interpretation based on oldt resolution
• Tabling with Answer Subsumption: Implementation, Applications and Performance
• Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
• Functional and Logic Programming
• Failure tabled constraint logic programming by interpolation
• A practical framework for theabstract interpretation of logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP