Unifying Theories of Programming

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

  • Shengchao Qin
Conference proceedings UTP 2010

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

Table of contents

  1. Front Matter
  2. Ana Cavalcanti, Marie-Claude Gaudel
    Pages 1-45
  3. Yifeng Chen, Jeff W. Sanders
    Pages 46-73
  4. He Jifeng
    Pages 74-100
  5. Michael J. Banks, Jeremy L. Jacob
    Pages 101-119
  6. Michael J. Banks, Jeremy L. Jacob
    Pages 120-136
  7. Andrew Butterfield
    Pages 137-156
  8. Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
    Pages 188-206
  9. Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
    Pages 226-233
  10. Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
    Pages 234-252
  11. Bill Stoddart, Pete Bell
    Pages 253-270
  12. Yongxin Zhao, Xu Wang, Huibiao Zhu
    Pages 271-285
  13. Back Matter

About these proceedings

Keywords

CSP Galois connections Software Engineering co-operating computer security confidentiality properties correctness design distributed testing expectations formal methods modeling pr programming recursion

Editors and affiliations

  • Shengchao Qin
    • 1
  1. 1.School of ComputingUniversity of TeessideMiddlesbroughUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16690-7
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16689-1
  • Online ISBN 978-3-642-16690-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book