Combining angels, demons and miracles in program specifications
- 1 June 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 100 (2), 365-383
- https://doi.org/10.1016/0304-3975(92)90309-4
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Duality in specification languages: a lattice-theoretical approachActa Informatica, 1990
- Command algebras, recursion and program transformationFormal Aspects of Computing, 1990
- A method for refining atomicity in parallel algorithmsLecture Notes in Computer Science, 1989
- A calculus of refinements for program derivationsActa Informatica, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- Laws of programmingCommunications of the ACM, 1987
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- General correctness: A unification of partial and total correctnessActa Informatica, 1985
- On correct refinement of programsJournal of Computer and System Sciences, 1981