Advertisement

Unifying Theories of Programming

Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

  • Andrew Butterfield
Conference proceedings UTP 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5713)

Table of contents

  1. Front Matter
  2. He Jifeng
    Pages 2-21
  3. Hugh Anderson, Gabriel Ciobanu, Leo Freitas
    Pages 22-41
  4. Steve E. Dunne, Ian J. Hayes, Andy J. Galloway
    Pages 62-81
  5. Walter Guttmann
    Pages 82-101
  6. C. E. Martin, S. A. Curtis
    Pages 102-121
  7. Alistair A. McEwan, Jim Woodcock
    Pages 122-141
  8. Juan Ignacio Perna, Jim Woodcock
    Pages 142-160
  9. Michael Anthony Smith, Jeremy Gibbons
    Pages 161-180
  10. Martin Weiglhofer, Bernhard K. Aichernig
    Pages 181-201
  11. Jim Woodcock
    Pages 202-217
  12. Frank Zeyda, Ana Cavalcanti
    Pages 218-237
  13. Naijun Zhan, Eun Young Kang, Zhiming Liu
    Pages 238-257
  14. Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
    Pages 258-278
  15. Back Matter

About these proceedings

Keywords

correctness model checking monadic maps programming reactive programming refinement calculus software engineering temporal logic transaction calculus

Editors and affiliations

  • Andrew Butterfield
    • 1
  1. 1.O’Reilly Institute, School of Computer Science and StatisticsUniversity of Dublin, Trinity CollegeDublin 2Ireland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14521-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14520-9
  • Online ISBN 978-3-642-14521-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site