|
" Unifying theories of programming : "
Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747770
|
| Doc. No
|
:
|
b567721
|
| Main Entry
|
:
|
Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
|
| Title & Author
|
:
|
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.).
|
| Publication Statement
|
:
|
Berlin : Springer, ©2013.
|
| Series Statement
|
:
|
Lecture notes in computer science, 7681.
|
| Page. NO
|
:
|
(247 p.)
|
| ISBN
|
:
|
3642357040
|
|
|
:
|
: 3642357059
|
|
|
:
|
: 9783642357046
|
|
|
:
|
: 9783642357053
|
| Contents
|
:
|
Unifying Theories of Undefinedness in UTP / Jim Woodcock, Victor Bandur --; Unifying Theories of Programming with Monads / Jeremy Gibbons --; Circus Time with Reactive Designs / Kun Wei, Jim Woodcock, Ana Cavalcanti --; Algebra Unifies Operational Calculi / Stephan van Staden, Tony Hoare --; A Probabilistic Theory of Designs Based on Distributions / Riccardo Bresciani, Andrew Butterfield --; The Logic of U ʺ(TP)² / Andrew Butterfield --; Conscriptions: A New Relational Model for Sequential Computations / Steve Dunne --; Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude / Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin --; Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions / Chengcheng Wu, Yongxin Zhao, Huibiao Zhu --; Higher-Order UTP for a Theory of Methods / Frank Zeyda, Ana Cavalcanti --; Denotational Semantics for a Probabilistic Timed Shared-Variable Language / Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer programming -- Congresses.
|
| Subject
|
:
|
computerkunde.
|
| Subject
|
:
|
software engineering.
|
| LC Classification
|
:
|
QA76.6B875 2013
|
| Added Entry
|
:
|
Abderrahmane Feliachi
|
|
|
:
|
Burkhart Wolff
|
|
|
:
|
Marie-Claude Gaudel
|
| Parallel Title
|
:
|
UTP 2012
|
| |