ISBN-10:
3642145205
ISBN-13:
9783642145209
Pub. Date:
09/30/2010
Publisher:
Springer Berlin Heidelberg
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / Edition 1

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / Edition 1

by Andrew Butterfield

Paperback

Current price is , Original price is $84.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Overview

This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008.
The 15 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 20 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Product Details

ISBN-13: 9783642145209
Publisher: Springer Berlin Heidelberg
Publication date: 09/30/2010
Series: Lecture Notes in Computer Science , #5713
Edition description: 2010
Pages: 279
Product dimensions: 6.00(w) x 9.20(h) x 0.30(d)

Table of Contents

Refinement Calculus as a Theory of Contracts (Invited Paper) Ralph-Johan Back 1

Transaction Calculus (Invited Paper) Jifeng He 2

UTP and Temporal Logic Model Checking Hugh Anderson Gabriel Ciobanu Leo Freitas 22

A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming Ana Cavalcanti Marie-Claude Gaudel 42

Reasoning about Loops in Total and General Correctness Steve E. Dunne Ian J. Hayes Andy J. Galloway 62

Lazy UTP Walter Guttmann 82

Monadic Maps and Folds for Multirelations in an Allegory Clare E. Martin Sharon A. Curtis 102

Unifying Theories of Interrupts Alistair A. McEwan Jim Woodcock 122

UTP Semantics for Handel-C Juan Ignacio Perna Jim Woodcock 142

Unifying Theories of Locations Michael Anthony Smith Jeremy Gibbons 161

Unifying Input Output Conformance Martin Weiglhofer Bernhard K. Aichernig 181

The Miracle of Reactive Programming Jim Woodcock 202

Encoding Circus Programs in ProofPower-Z Frank Zeyda Ana Cavalcanti 218

Component Publications and Compositions Naijun Zhan Eun Young Kang Zhiming Liu 238

Denotational Approach to an Event-Driven System-Level Language Huibiao Zhu Jifeng He Xiaoqing Peng Naiyong Jin 258

Author Index 279

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews