Unifying Theories of Programming - 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

List of contents

Unifying Theories of Undefinedness in UTP.- Unifying Theories of Programming with Monads.- Circus Time with Reactive Designs.- Algebra Unifies Operational Calculi.- A Probabilistic Theory of Designs Based on Distributions.- The Logic of U-(TP)2.- Conscriptions: A New Relational Model for Sequential Computations.- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude.- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.- Higher-Order UTP for a Theory of Methods.- Denotational Semantics for a Probabilistic Timed Shared-Variable Language.

Summary

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Product details

• Assisted by: Abderrahmane Feliachi (Editor), Marie-Claud Gaudel (Editor), Marie-Claude Gaudel (Editor), Burkhard Wolff (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 05.12.2012
• EAN: 9783642357046
• ISBN: 978-3-642-35704-6
• No. of pages: 249
• Dimensions: 172 mm x 235 mm x 15 mm
• Weight: 400 g
• Illustrations: VIII, 249 p. 4 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT