Abstract interpretation as automated deduction (Q2360874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract interpretation as automated deduction |
scientific article |
Statements
Abstract interpretation as automated deduction (English)
0 references
29 June 2017
0 references
abstract interpretation
0 references
deduction
0 references
Lindenbaum-Tarski construction
0 references