|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484369203321 |
|
|
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.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heidelberg, : Springer, 2013 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 249 p. 4 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 7681 |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
WolffBurkhart |
GaudelM.-C (Marie-Claude) |
FeliachiAbderrahmane |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|