On the power of abstract interpretation (Q3142281)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the power of abstract interpretation |
scientific article |
Statements
On the power of abstract interpretation (English)
0 references
15 November 1993
0 references
functional language
0 references
static analysis
0 references
strictness analysis
0 references
abstract interpretation
0 references