Weakly expressive models for Hoare logic (Q805248)
From MaRDI portal
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
0 references
