Overview
- Written by well-known experts
- High quality selected papers
- Honorary volume dedicated to Tony Hoare on the Occasion of His 85th Birthday
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11885)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: UTP 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Unification Approaches
-
Hybrid Models
Other volumes
-
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
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Unifying Theories of Programming
Book Subtitle: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Editors: Pedro Ribeiro, Augusto Sampaio
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-31038-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-31037-0Published: 12 September 2019
eBook ISBN: 978-3-030-31038-7Published: 23 September 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 217
Number of Illustrations: 902 b/w illustrations, 30 illustrations in colour
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Mathematics of Computing, Computer Systems Organization and Communication Networks