default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUTP 2008: Dublin, Ireland
- Andrew Butterfield
:
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, ISBN 978-3-642-14520-9 - Ralph-Johan Back:
Refinement Calculus as a Theory of Contracts (Invited Paper). 1 - Jifeng He:
Transaction Calculus - (Invited Paper). 2-21 - Hugh Anderson, Gabriel Ciobanu, Leo Freitas:
UTP and Temporal Logic Model Checking. 22-41 - Ana Cavalcanti, Marie-Claude Gaudel:
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. 42-61 - Steve Dunne, Ian J. Hayes, Andy Galloway:
Reasoning about Loops in Total and General Correctness. 62-81 - Walter Guttmann:
Lazy UTP. 82-101 - Clare E. Martin, Sharon A. Curtis:
Monadic Maps and Folds for Multirelations in an Allegory. 102-121 - Alistair A. McEwan, Jim Woodcock:
Unifying Theories of Interrupts. 122-141 - Juan Ignacio Perna, Jim Woodcock:
UTP Semantics for Handel-C. 142-160 - Michael Anthony Smith, Jeremy Gibbons:
Unifying Theories of Locations. 161-180 - Martin Weiglhofer, Bernhard K. Aichernig:
Unifying Input Output Conformance. 181-201 - Jim Woodcock:
The Miracle of Reactive Programming. 202-217 - Frank Zeyda, Ana Cavalcanti:
Encoding Circus Programs in ProofPowerZ. 218-237 - Naijun Zhan, Eun-Young Kang, Zhiming Liu:
Component Publications and Compositions. 238-257 - Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin:
Denotational Approach to an Event-Driven System-Level Language. 258-278
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-02 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
