Abstract Interpretation From a Denotational-semantics Perspective (Q2805148)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract Interpretation From a Denotational-semantics Perspective |
scientific article |
Statements
Abstract Interpretation From a Denotational-semantics Perspective (English)
0 references
10 May 2016
0 references
abstract interpretation
0 references
denotational semantics
0 references
Galois connection
0 references
Scott-domains
0 references
Scott-topology
0 references
0 references
0 references
