03027nam 2200577 a 450 991048436920332120200520144314.03-642-35705-910.1007/978-3-642-35705-3(CKB)3400000000102947(SSID)ssj0000855420(PQKBManifestationID)11460046(PQKBTitleCode)TC0000855420(PQKBWorkID)10928631(PQKB)11352183(DE-He213)978-3-642-35705-3(MiAaPQ)EBC3068794(PPN)168329174(EXLCZ)99340000000010294720130116d2013 uy 0engurnn#008mamaatxtccrUnifying theories of programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)1st ed. 2013.Heidelberg Springer20131 online resource (VIII, 249 p. 4 illus.)Lecture notes in computer science,0302-9743 ;7681LNCS sublibrary.SL 1,Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-642-35704-0 Includes bibliographical references and index.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.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.Theoretical Computer Science and General Issues,2512-2029 ;7681Computer programmingCongressesComputer programming005.1Wolff Burkhart1754238Gaudel M.-C(Marie-Claude)1292886Feliachi Abderrahmane1754239UTP (Symposium)(4th :2012 :Paris, France)MiAaPQMiAaPQMiAaPQBOOK9910484369203321Unifying theories of programming4190481UNINA