Vai al contenuto principale della pagina
Titolo: |
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
![]() ![]() ![]() |
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 |
Opac: | Controlla la disponibilitĂ qui |