ENGLISH

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

By Augusto Sampaio , Pedro Ribeiro

Book information

Publisher
Springer International Publishing
Year
2019
ISBN
978-3-030-31037-0, 978-3-030-31038-7
Language
english
Format
PDF
Filesize
8 MB (7879002 bytes)
Series
Lecture Notes in Computer Science 11885
Edition
1st ed. 2019
Pages
XIV, 217\224
Time added
2020-02-08 04:41:54
CompilersComputer Science; Logics and Meanings of Programs;Interpreters; Software Engineering; Mathematics of

Description

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. Front Matter ....Pages i-xiv Front Matter ....Pages 1-1 A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic (Tony Hoare, Georg Struth, Jim Woodcock)....Pages 3-21 A Testing Perspective on Algebraic, Denotational, and Operational Semantics (Bernhard K. Aichernig)....Pages 22-38 Whither Specifications as Programs (David A. Naumann, Minh Ngo)....Pages 39-61 Connecting Fixpoints of Computations with Strict Progress (Walter Guttmann)....Pages 62-79 Probabilistic Semantics for RoboChart (Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye)....Pages 80-105 Front Matter ....Pages 107-107 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 Hybrid Relations in Isabelle/UTP (Simon Foster)....Pages 130-153 Front Matter ....Pages 155-155 The Inner and Outer Algebras of Unified Concurrency (Andrew Butterfield)....Pages 157-175 Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges (Ian J. Hayes, Larissa A. Meinicke)....Pages 176-197 UTP Semantics of a Calculus for Mobile Ad Hoc Networks (Xi Wu, Huibiao Zhu, Wanling Xie)....Pages 198-216 Back Matter ....Pages 217-217

Similar books