Abstract interpretation and application to logic programs (Q4012706)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract interpretation and application to logic programs |
scientific article |
Statements
Abstract interpretation and application to logic programs (English)
0 references
27 September 1992
0 references
semantics approximation
0 references
semantics-based program analysis
0 references
dataflow analysis
0 references
abstract interpretation of programs
0 references
operational semantics
0 references
transition system
0 references
invariance properties
0 references
Galois connection
0 references
abstract fixpoint equation
0 references
variant of SLD-resolution
0 references
