A freeness and sharing analysis of logic programs based on a pre-interpretation (Q5030191)
From MaRDI portal
scientific article; zbMATH DE number 7474228
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A freeness and sharing analysis of logic programs based on a pre-interpretation |
scientific article; zbMATH DE number 7474228 |
Statements
A freeness and sharing analysis of logic programs based on a pre-interpretation (English)
0 references
16 February 2022
0 references
logic programming
0 references
abstract interpretation
0 references
domain relation
0 references
reference variable
0 references
abstract domain
0 references
