Skip to main content
SpringerLink
Log in

Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Jonathan P. Bowen

    1. London South Bank University, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Huibiao Zhu

    1. East China Normal University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. A Discrete Geometric Model of Concurrent Program Execution

    • Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
    Pages 1-25

  3. A New Roadmap for Linking Theories of Programming

    • He Jifeng
    Pages 26-43

  4. Towards a UTP Semantics for Modelica

    • Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock
    Pages 44-64

  5. A Two-Way Path Between Formal and Informal Design of Embedded Systems

    • Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
    Pages 65-92

  6. A Denotational Semantics for Parameterised Networks of Synchronised Automata

    • Siqi Li, Eric Madelaine
    Pages 93-113

  7. UTP Semantics of Reactive Processes with Continuations

    • Gerard Ekembe Ngondi, Jim Woodcock
    Pages 114-133

  8. A Stepwise Approach to Linking Theories

    • Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock
    Pages 134-154

  9. An Axiomatic Value Model for Isabelle/UTP

    • Frank Zeyda, Simon Foster, Leo Freitas
    Pages 155-175

  10. UTP Semantics for rTiMo

    • Wanling Xie, Shuangqing Xiang
    Pages 176-196

  11. UTPCalc — A Calculator for UTP Predicates

    • Andrew Butterfield
    Pages 197-216

  12. Back Matter

    Pages 217-217
    Download chapter PDF
Back to top

Other volumes

  1. Unifying Theories of Programming

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation