Skip to content.
|
Skip to navigation
Site Map
Accessibility
Contact
Search Site
Advanced Search…
Programming Tools Group
Sections
Home
members
projects
Personal tools
Log in
You are here:
Home
→
Members
→
Oege de Moor
→
Publications
→
Oege de Moor's publications on predicate transformer semantics
Navigation
Home
Members
Pavel Avgustinov
Duncan Coutts
Torbjörn Ekman
Elnar Hajiyev
Oege de Moor
Publications
Oege de Moor's publications on predicate transformer semantics
Max Schaefer
Neil Ongkingco
Damien Sereni
Julian Tibble
Mathieu Verbaere
Projects
News
New editor of Science of Computer Programming
2008-05-23
Ralf Laemmel on the Expression Lemma
2008-05-15
Visit by Guy Steele and Richard Gabriel
2008-05-15
Two papers at OOPSLA 2008
2008-05-15
abc paper at POPL 2007
2006-09-14
More news…
Document Actions
Oege de Moor's publications on predicate transformer semantics
An algebraic construction of predicate transformers
(SCP 1994)
An algebraic construction of predicate transformers
(MPC 1993)
Inductive data types for predicate transformers
(IPL 1992)
Powered by Plone CMS, the Open Source Content Management System
This site conforms to the following standards:
Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser