Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

  • Steve Dunne
  • Bill Stoddart
Conference proceedings UTP 2006

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

Table of contents

  1. Front Matter
  2. Thiago Santos, Ana Cavalcanti, Augusto Sampaio
    Pages 18-37
  3. Jifeng He, Tony Hoare
    Pages 38-62
  4. Bill Stoddart, Frank Zeyda, Robert Lynas
    Pages 63-83
  5. Jifeng He, Shengchao Qin, Adnan Sherif
    Pages 85-100
  6. Moshe Deutsch, Martin C. Henson
    Pages 101-122
  7. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    Pages 123-140
  8. Jifeng He, J. W. Sanders
    Pages 173-199
  9. Ana Cavalcanti, Will Harwood, Jim Woodcock
    Pages 200-216
  10. Gift Nuka, Jim Woodcock
    Pages 217-235
  11. Walter Guttmann, Bernhard Möller
    Pages 236-256
  12. Back Matter

About these proceedings

Keywords

CCS CSP Reversible Computing Z methodology object-orientation programming programming theory reactive design real-time real-time programming relational methods reversible computation semantics theory unification verification

Editors and affiliations

  • Steve Dunne
    • 1
  • Bill Stoddart
    • 2
  1. 1.School of ComputingUniversity of TeessideMiddlesbroughUK
  2. 2.University of Teesside 

Bibliographic information

  • DOI https://doi.org/10.1007/11768173
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34750-7
  • Online ISBN 978-3-540-34752-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book