02792nam 2200613Ia 450 991048338860332120200520144314.01-280-39018-297866135681063-642-16690-310.1007/978-3-642-16690-7(CKB)2670000000056654(SSID)ssj0000446862(PQKBManifestationID)11314934(PQKBTitleCode)TC0000446862(PQKBWorkID)10498512(PQKB)11188975(DE-He213)978-3-642-16690-7(MiAaPQ)EBC3066099(PPN)14989046X(EXLCZ)99267000000005665420101110d2010 uy 0engurnn|008mamaatxtccrUnifying Theories of Programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings /Shengchao Qin (ed.)1st ed. 2010.Berlin Springer20101 online resource (VIII, 310 p. 17 illus.) LNCS sublibrary. SL 1, Theoretical computer science and general issuesLecture notes in computer science,0302-9743 ;6445Bibliographic Level Mode of Issuance: Monograph3-642-16689-X Includes bibliographical references and index.Specification Coverage for Testing in Circus -- UTP and Sustainability -- A Probabilistic BPEL-Like Language -- On Modelling User Observations in the UTP -- Unifying Theories of Confidentiality -- Saoithín: A Theorem Prover for UTP -- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs -- Programmable Verifiers in Imperative Programming -- Unifying Theories in Isabelle/HOL -- Unifying Recursion in Partial, Total and General Correctness -- Halting Still Standing – Programs versus Specifications -- Promoting Models -- Probabilistic Choice, Reversibility, Loops, and Miracles -- Towards a Pomset Semantics for a Shared-Variable Parallel Language -- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.Lecture notes in computer science ;6445.LNCS sublibrary.SL 1,Theoretical computer science and general issues.UTP 2010Computer programmingCongressesComputer programmingComputer programmingComputer programming.005.11Qin Shengchao1750250UTP 2010MiAaPQMiAaPQMiAaPQBOOK9910483388603321Unifying Theories of Programming4184839UNINA