Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946)
From MaRDI portal
scientific article; zbMATH DE number 6457563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extracting Program Logics From Abstract Interpretations Defined by Logical Relations |
scientific article; zbMATH DE number 6457563 |
Statements
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (English)
0 references
10 July 2015
0 references
abstract interpretation
0 references
logical relation
0 references
Galois connection
0 references
temporal logic
0 references
