Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10134)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: UTP 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(10 papers)
Other volumes
-
Unifying Theories of Programming
Keywords
- 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
About this book
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.
Editors and Affiliations
-
London South Bank University, London, United Kingdom
Jonathan P. Bowen
-
East China Normal University, Shanghai, China
Huibiao Zhu
Bibliographic Information
Book Title: Unifying Theories of Programming
Book Subtitle: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Editors: Jonathan P. Bowen, Huibiao Zhu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-52228-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-52227-2Published: 11 January 2017
eBook ISBN: 978-3-319-52228-9Published: 10 January 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 217
Number of Illustrations: 36 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Mathematical Logic and Formal Languages, Computation by Abstract Devices