Screen LibraryUnifying 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...
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; ; |
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Series: |
Lecture notes in computer science,
7681 LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-642-35705-3 |
| Summary: |
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. |
| Carrier Form: | 1 online resource (247, [1] p.) : ill. |
| ISBN: |
9783642357053 (electronic bk.) 3642357059 (electronic bk.) |
| Index Number: | QA76 |
| CLC: | TP311.1-532 |
| Contents: |
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)² / Conscriptions: A New Relational Model for Sequential Computations / |