Predicate transformer semantics: Difference between revisions

Revision as of 16:01, 31 December 2007

Revision as of 16:34, 15 March 2009

Line 25:

== References ==

* [[Ralph-Johan Back]] and [[Joakim von Wright]], ''Refinement Calculus: A Systematic Introduction'', 1st edition, 1998. ISBN 0-387-98417-8.

* [[Edsger W. Dijkstra]], "''Guarded commands, nondeterminacy and formal derivation of programs"program''. ''[[Communications of the ACM]]'', 18(8):453–457453–457, August 1975. [http://doi.acm.org/10.1145/360933.360975]

* [[Edsger W. Dijkstra]]. ''A Discipline of Programming''. ISBN 0-613-92411-8. — A systematic introduction to a version of the guarded command language with many worked examples

* [[Edsger W. Dijkstra]] and [[Carel S. Scholten]]. ''Predicate Calculus and Program Semantics''. Springer-Verlag 1990 ISBN 0-387-96957-8 — A more abstract, formal and definitive treatment

* [[Leslie Lamport]], "''win'' and ''sin'': Predicate Transformers for Concurrency". ''[[Association for Computing Machinery|ACM]] Transactions on Programming Languages and Systems'', 12(3), July 1990. [http://research.microsoft.com/users/lamport/pubs/pubs.html#lamport-win]

* [[Ralph-Johan Back]] and Joakim von Wright, ''Refinement Calculus: A Systematic Introduction'', 1st edition, 1998. ISBN 0-387-98417-8.

* Edsger W. Dijkstra. ''A Discipline of Programming'' (A systematic introduction with examples). ISBN 0-613-92411-8.

[[Category:Formal methods]]