The laws of Occam programming (Q2640348): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q578899 |
Changed an Item |
||
| Property / author | |||
| Property / author: C. A. R. Hoare / rank | |||
Normal rank | |||
Revision as of 18:19, 19 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The laws of Occam programming |
scientific article |
Statements
The laws of Occam programming (English)
0 references
1988
0 references
The authors describe an equational axiomatization of the semantics of OCCAM. They show that WHILE-free programs have a normal form, such that two programs are semantically equivalent if and only if their normal forms are syntactically equivalent. This shows that their equational axiomatization, together with an induction axiom, is a sound and complete proof system for proving the equivalence of OCCAM programs. The paper is very clearly written.
0 references
Occam
0 references
algebraic semantics of parallel processes
0 references
