Theoretical Computer Science and General Issues

Unifying Theories of Programming

4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Editors: Wolff, Burkhard, Gaudel, Marie-Claude, Feliachi, Abderrahmane (Eds.)

  • Fast-track conference proceedings
  • State-of-the-Art research
Show all benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-35705-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-35704-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (11 chapters)

  • Unifying Theories of Undefinedness in UTP

    Woodcock, Jim (et al.)

    Pages 1-22

  • Unifying Theories of Programming¬†with¬†Monads

    Gibbons, Jeremy

    Pages 23-67

  • Circus Time with Reactive Designs

    Wei, Kun (et al.)

    Pages 68-87

  • Algebra Unifies Operational Calculi

    Staden, Stephan (et al.)

    Pages 88-104

  • A Probabilistic Theory of Designs Based on Distributions

    Bresciani, Riccardo (et al.)

    Pages 105-123

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-35705-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-35704-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Unifying Theories of Programming
Book Subtitle
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Editors
  • Burkhard Wolff
  • Marie-Claude Gaudel
  • Abderrahmane Feliachi
Series Title
Theoretical Computer Science and General Issues
Series Volume
7681
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-35705-3
DOI
10.1007/978-3-642-35705-3
Softcover ISBN
978-3-642-35704-6
Edition Number
1
Number of Pages
VIII, 249
Number of Illustrations and Tables
4 b/w illustrations
Topics