Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Butterfield, Andrew (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Theoretical Computer Science and General Issues ; 5713
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.