On the Notion of Expressiveness and the Rule of Adaption
The work
| Authors | Ernst-Rüdiger Olderog |
|---|---|
| Editors | |
| Type | article |
| Year | 1983 |
| Citekey | olderog1983notion |
Where it appeared
| Published in | Theoretical Computer Science |
|---|---|
| Volume | 24 |
| Pages | 337--347 |
Identifiers
| DOI | 10.1016/0304-3975(83)90009-9 |
|---|
Abstract
In this note two issues concerning completeness of Hoare-like proof systems which seem unrelated at first sight are brought together: Expressiveness of the assertion language and the Rule of Adaptation. These different issues are connected by investigating soundness and relative completeness of four published versions of the Rule of Adaptation with help of some general technique for reasoning about expressiveness.
A copy is held
pdf, 1.1 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 15:38 UTC |
Filed under
Cite it as
@article{olderog1983notion,
title = {On the Notion of Expressiveness and the Rule of Adaption},
author = {Ernst-Rüdiger Olderog},
year = {1983},
journal = {Theoretical Computer Science},
volume = {24},
pages = {337--347},
doi = {10.1016/0304-3975(83)90009-9},
}
This record lives at https://refs.drheap.org/olderog1983notion/ and will keep doing so.