Advertisement

© 2019

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
    PDF

  2. Unification Approaches

    1. Front Matter
      Pages 1-1
      PDF
    2. A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic
      Tony Hoare, Georg Struth, Jim Woodcock
      Pages 3-21
      PDF
    3. A Testing Perspective on Algebraic, Denotational, and Operational Semantics
      Bernhard K. Aichernig
      Pages 22-38
      PDF
    4. Whither Specifications as Programs
      David A. Naumann, Minh Ngo
      Pages 39-61
      PDF
    5. Connecting Fixpoints of Computations with Strict Progress
      Walter Guttmann
      Pages 62-79
      PDF
    6. Probabilistic Semantics for RoboChart
      Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
      Pages 80-105
      PDF

  3. Hybrid Models

    1. Front Matter
      Pages 107-107
      PDF
    2. Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow
      Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
      Pages 109-129
      PDF
    3. Hybrid Relations in Isabelle/UTP
      Simon Foster
      Pages 130-153
      PDF

  4. Concurrency

    1. Front Matter
      Pages 155-155
      PDF
    2. The Inner and Outer Algebras of Unified Concurrency
      Andrew Butterfield
      Pages 157-175
      PDF
    3. Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges
      Ian J. Hayes, Larissa A. Meinicke
      Pages 176-197
      PDF
    4. UTP Semantics of a Calculus for Mobile Ad Hoc Networks
      Xi Wu, Huibiao Zhu, Wanling Xie
      Pages 198-216
      PDF
  5. Back Matter
    Pages 217-217
    PDF

About these proceedings

Introduction

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.

Keywords

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