Unifying 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.)

• Pubblicazione: Heidelberg, : Springer, 2013
• Edizione: 1st ed. 2013.
• Descrizione fisica: 1 online resource (VIII, 249 p. 4 illus.)
• Disciplina: 005.1
• Soggetto topico: Computer programming
• Altri autori: WolffBurkhart GaudelM.-C (Marie-Claude) FeliachiAbderrahmane
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Unifying theories of programming
• ISBN: 3-642-35705-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484369203321
• Lo trovi qui: Univ. Federico II
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7681