Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Issue 5 (September 2019)
- Record Type:
- Journal Article
- Title:
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Issue 5 (September 2019)
- Main Title:
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
- Authors:
- ARIAS, JOAQUÍN
CARRO, MANUEL - Abstract:
- Abstract: CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs which we adapt to use tabled constraint logic programming . In this adaptation, the tabling engine drives the fixpoint computation, while the constraint solver handles the LUB of the abstract substitutions of different clauses. That simplifies the code and improves performance, since termination, dependencies, and some crucial operations (e.g., branch switching and resumption) are directly handled by the tabling engine. Determining whether the fixpoint has been reached uses semantic equivalence, which can decide that two syntactically different abstract substitutions represent the same element in the abstract domain. Therefore, the tabling analyzer can reuse answers in more cases than an analyzer using syntactical equality. This helps achieve better performance, even taking into account the additional cost associated to these checks. Our implementation is based on the TCLP framework available in Ciao Prolog and is one-third the size of the initial fixpoint implementation in CiaoPP. Its performance has been evaluated by analyzing several programs using different abstract domains.
- Is Part Of:
- Theory and practice of logic programming. Volume 19:Issue 5/6(2019)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 19:Issue 5/6(2019)
- Issue Display:
- Volume 19, Issue 5/6 (2019)
- Year:
- 2019
- Volume:
- 19
- Issue:
- 5/6
- Issue Sort Value:
- 2019-0019-NaN-0000
- Page Start:
- 1107
- Page End:
- 1123
- Publication Date:
- 2019-09
- Subjects:
- Abstract Interpretation, -- Constraints, -- Tabling, -- Prolog, -- PLAI, -- CiaoPP.
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068419000383 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 11816.xml