Skip to main content
Springer Nature Link
Log in

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2006
Save conference proceedings
View saved research

Overview

Editors:
  1. Steve Dunne

    1. School of Computing, University of Teesside, Middlesbrough, UK

  2. Bill Stoddart

    1. University of Teesside

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4010)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: UTP 2006.

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

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Free shipping worldwide - view details

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Retrospective and Prospective for Unifying Theories of Programming

    • Eric Hehner
    Pages 1-17

  3. Object-Orientation in the UTP

    • Thiago Santos, Ana Cavalcanti, Augusto Sampaio
    Pages 18-37

  4. CSP Is a Retract of CCS

    • Jifeng He, Tony Hoare
    Pages 38-62

  5. A Design-Based Model of Reversible Computation

    • Bill Stoddart, Frank Zeyda, Robert Lynas
    Pages 63-83

  6. An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)

    • Jim Woodcock
    Pages 84-84

  7. Constructing Property-Oriented Models for Verification

    • Jifeng He, Shengchao Qin, Adnan Sherif
    Pages 85-100

  8. A Relational Investigation of UTP Designs and Prescriptions

    • Moshe Deutsch, Martin C. Henson
    Pages 101-122

  9. Unifying Theories in ProofPower-Z

    • Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    Pages 123-140

  10. Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe

    • Ian J. Hayes
    Pages 141-154

  11. Hierarchical Organisation of Predicate-Semantic Models

    • Yifeng Chen
    Pages 155-172

  12. Unifying Probability

    • Jifeng He, J. W. Sanders
    Pages 173-199

  13. Pointers and Records in the Unifying Theories of Programming

    • Ana Cavalcanti, Will Harwood, Jim Woodcock
    Pages 200-216

  14. Mechanising a Unifying Theory

    • Gift Nuka, Jim Woodcock
    Pages 217-235

  15. Modal Design Algebra

    • Walter Guttmann, Bernhard MÃķller
    Pages 236-256

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Unifying Theories of Programming

Editors and Affiliations

  • School of Computing, University of Teesside, Middlesbrough, UK

    Steve Dunne

  • University of Teesside

    Bill Stoddart

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top