Unifying Theories of Programming
Subtitle: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
By: edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Contributors: Gaudel, Marie-Claude; Feliachi, Abderrahmane; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7681
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 249
ISBN-13: 9783642357053
Subjects: Mathematical Logic and Formal Languages; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Software engineering; Programming Languages, Compilers, Interpreters
Description: 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.
Table of contents: title: Unifying Theories of Undefinedness in UTP; title: Unifying Theories of Programming with Monads; title: Circus Time with Reactive Designs; title: Algebra Unifies Operational Calculi; title: A Probabilistic Theory of Designs Based on Distributions; title: The Logic of U•(TP)2; title: Conscriptions: A New Relational Model for Sequential Computations; title: Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude; title: Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions; title: Higher-Order UTP for a Theory of Methods; title: Denotational Semantics for a Probabilistic Timed Shared-Variable Language.