Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

  • Jonathan P. Bowen
  • Huibiao Zhu
Conference proceedings UTP 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10134)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
    Pages 1-25
  3. Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
    Pages 44-64
  4. Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
    Pages 65-92
  5. Gerard Ekembe Ngondi, Jim Woodcock
    Pages 114-133
  6. Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
    Pages 134-154
  7. Frank Zeyda, Simon Foster, Leo Freitas
    Pages 155-175
  8. Wanling Xie, Shuangqing Xiang
    Pages 176-196
  9. Andrew Butterfield
    Pages 197-216
  10. Back Matter
    Pages 217-217

About these proceedings


This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the

12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.



formal languages hybrid systems programming language semantic languages semantic models software engineering denotational semantics HCSP interpreters laws of programming logics and meanings of programs mathematical logic meanings of programs reactive processes refinement simulink therory engineering trace algebra unifying theories UTP verification

Editors and affiliations

  • Jonathan P. Bowen
    • 1
  • Huibiao Zhu
    • 2
  1. 1.London South Bank UniversityLondonUnited Kingdom
  2. 2.East China Normal UniversityShanghaiChina

Bibliographic information

Industry Sectors
IT & Software