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
    PDF
  2. Specification Coverage for Testing in Circus
    Ana Cavalcanti, Marie-Claude Gaudel
    Pages 1-45
  3. UTP and Sustainability
    Yifeng Chen, Jeff W. Sanders
    Pages 46-73
  4. A Probabilistic BPEL-Like Language
    He Jifeng
    Pages 74-100
  5. On Modelling User Observations in the UTP
    Michael J. Banks, Jeremy L. Jacob
    Pages 101-119
  6. Unifying Theories of Confidentiality
    Michael J. Banks, Jeremy L. Jacob
    Pages 120-136
  7. Saoithín: A Theorem Prover for UTP
    Andrew Butterfield
    Pages 137-156
  8. A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs
    Xin Chen, Nan Ye, Wenxu Ding
    Pages 157-171
  9. Programmable Verifiers in Imperative Programming
    Yifeng Chen
    Pages 172-187
  10. Unifying Theories in Isabelle/HOL
    Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
    Pages 188-206
  11. Unifying Recursion in Partial, Total and General Correctness
    Walter Guttmann
    Pages 207-225
  12. Halting Still Standing – Programs versus Specifications
    Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
    Pages 226-233
  13. Promoting Models
    Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
    Pages 234-252
  14. Probabilistic Choice, Reversibility, Loops, and Miracles
    Bill Stoddart, Pete Bell
    Pages 253-270
  15. Towards a Pomset Semantics for a Shared-Variable Parallel Language
    Yongxin Zhao, Xu Wang, Huibiao Zhu
    Pages 271-285
  16. Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language
    Huibiao Zhu, Fan Yang, Jifeng He
    Pages 286-308
  17. Back Matter
    PDF

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