Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

  • Pedro Ribeiro
  • Augusto Sampaio
Conference proceedings UTP 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Unification Approaches

    1. Front Matter
      Pages 1-1
    2. Tony Hoare, Georg Struth, Jim Woodcock
      Pages 3-21
    3. David A. Naumann, Minh Ngo
      Pages 39-61
    4. Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
      Pages 80-105
  3. Hybrid Models

    1. Front Matter
      Pages 107-107
    2. Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
      Pages 109-129
    3. Simon Foster
      Pages 130-153
  4. Concurrency

    1. Front Matter
      Pages 155-155
    2. Andrew Butterfield
      Pages 157-175
    3. Xi Wu, Huibiao Zhu, Wanling Xie
      Pages 198-216
  5. Back Matter
    Pages 217-217

About these proceedings


This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.


Algebraic semantics Automated reasoning Complexity theory and logic Computer programming Computer science Concurrency Concurrent Separation Logic Denotational semantics Hardware Hoare logic Logic and verification Model-based Testing Probabilistic algorithms Program semantics Program specifications Program verification Programming languages Software engineering Software evaluation Timed and hybrid models

Editors and affiliations

  1. 1.University of YorkYorkUK
  2. 2.Universidade Federal de PernambucoRecifeBrazil

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-31037-0
  • Online ISBN 978-3-030-31038-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site