Program Logics for Certified Compilers (Q5494381)
From MaRDI portal
scientific article; zbMATH DE number 6322123
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Logics for Certified Compilers |
scientific article; zbMATH DE number 6322123 |
Statements
Program Logics for Certified Compilers (English)
0 references
28 July 2014
0 references
CompCert
0 references
verified C compiler
0 references
Hoare logic
0 references
separation logic
0 references
software verification
0 references
