Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525)
From MaRDI portal
scientific article; zbMATH DE number 7196164
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP |
scientific article; zbMATH DE number 7196164 |
Statements
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (English)
0 references
4 May 2020
0 references
abstract interpretation
0 references
constraints
0 references
tabling
0 references
Prolog
0 references
PLAI
0 references
CiaoPP
0 references
