Unifying Theories of Programming  4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /  [electronic resource] : 
edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. 
 - 1st ed. 2013. 
 - VIII, 249 p. 4 illus.  online resource. 
 - Theoretical Computer Science and General Issues,  7681  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  7681 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783642357053 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-35705-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Compilers (Computer programs).<br/>Software engineering.<br/>Machine theory.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>Software Engineering.<br/>Formal Languages and Automata Theory.<br/>Theory of Computation.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151