Unifying Theories of Programming
Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Published on 30. July 2010
IX, 279 pages
978-3-642-14521-6 (ISBN)
Description
More details
Other editions
Additional editions
Andrew Butterfield
Unifying Theories of Programming
Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Book
07/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
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.
