Weakly expressive models for Hoare logic (Q805248)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4203735
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weakly expressive models for Hoare logic |
scientific article; zbMATH DE number 4203735 |
Statements
Weakly expressive models for Hoare logic (English)
0 references
1991
0 references
The author generalizes the notion of complete models for Hoare logic to the weakly expressive models. After some preliminaries about Hoare logic, the author introduces the weakly expressive models and proves some important features of them. The main results are that the complete models are weakly expressive and that a model is expressive if the domain of every program is definable.
0 references
complete models
0 references
Hoare logic
0 references
expressive models
0 references
0 references
0 references
0.88656133
0 references
0.8830229
0 references
0.87750405
0 references
0.8733463
0 references
