A Hoare logic for the coinductive trace-based big-step semantics of While (Q5174911)
From MaRDI portal
scientific article; zbMATH DE number 6405764
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Hoare logic for the coinductive trace-based big-step semantics of While |
scientific article; zbMATH DE number 6405764 |
Statements
A Hoare logic for the coinductive trace-based big-step semantics of While (English)
0 references
19 February 2015
0 references
big-step semantics
0 references
Hoare logic
0 references
nontermination
0 references
coinductive traces
0 references
formalization
0 references
