Weakly expressive models for Hoare logic (Q805248): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:16, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weakly expressive models for Hoare logic |
scientific article |
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
