Website Search
Find information on spaces, staff, and services.
Catalog Search
Computer file; Books
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
- Author / Creator
- Conferences
- UTP 2008 (2008 : Dublin, Ireland)
- UTP 2008
- Available as
- Online
Details
- Creator
- edited by Andrew Butterfield
- Format
- Computer file; Books
- Language
- English
- Contributors
- Publication
-
- 1st ed. 2010
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
- Physical Details
-
- 1 online resource (IX, 279 p. 21 illus.)
- ISBNs
- 3642145213, 3642145205, 9783642145216, 9783642145209
- OCLC
- ocn660188144
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references and index.
- English
- Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP and Temporal Logic Model Checking -- A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming -- Reasoning about Loops in Total and General Correctness -- Lazy UTP -- Monadic Maps and Folds for Multirelations in an Allegory -- Unifying Theories of Interrupts -- UTP Semantics for Handel-C -- Unifying Theories of Locations -- Unifying Input Output Conformance -- The Miracle of Reactive Programming -- Encoding Circus Programs in ProofPowerZ -- Component Publications and Compositions -- Denotational Approach to an Event-Driven System-Level Language