Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
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 inv...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Serie: | Theoretical Computer Science and General Issues
7681 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Unifying Theories of Programming, 9783642357046 • Unifying Theories of Programming, 9783642357060 |
Sommario:
- 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.