Skip to main content
  • Conference proceedings
  • © 2010

Unifying Theories of Programming

Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

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

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

Conference series link(s): UTP: International Symposium on Unifying Theories of Programming

Conference proceedings info: UTP 2008.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Transaction Calculus

    • He Jifeng
    Pages 2-21
  3. UTP and Temporal Logic Model Checking

    • Hugh Anderson, Gabriel Ciobanu, Leo Freitas
    Pages 22-41
  4. Reasoning about Loops in Total and General Correctness

    • Steve E. Dunne, Ian J. Hayes, Andy J. Galloway
    Pages 62-81
  5. Lazy UTP

    • Walter Guttmann
    Pages 82-101
  6. Monadic Maps and Folds for Multirelations in an Allegory

    • C. E. Martin, S. A. Curtis
    Pages 102-121
  7. Unifying Theories of Interrupts

    • Alistair A. McEwan, Jim Woodcock
    Pages 122-141
  8. UTP Semantics for Handel-C

    • Juan Ignacio Perna, Jim Woodcock
    Pages 142-160
  9. Unifying Theories of Locations

    • Michael Anthony Smith, Jeremy Gibbons
    Pages 161-180
  10. Unifying Input Output Conformance

    • Martin Weiglhofer, Bernhard K. Aichernig
    Pages 181-201
  11. The Miracle of Reactive Programming

    • Jim Woodcock
    Pages 202-217
  12. Encoding Circus Programs in ProofPowerZ

    • Frank Zeyda, Ana Cavalcanti
    Pages 218-237
  13. Component Publications and Compositions

    • Naijun Zhan, Eun Young Kang, Zhiming Liu
    Pages 238-257
  14. Denotational Approach to an Event-Driven System-Level Language

    • Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
    Pages 258-278
  15. Back Matter

Other Volumes

  1. Unifying Theories of Programming

Keywords

  • correctness
  • model checking
  • monadic maps
  • programming
  • reactive programming
  • refinement calculus
  • software engineering
  • temporal logic
  • transaction calculus

Editors and Affiliations

  • O’Reilly Institute, School of Computer Science and Statistics, University of Dublin, Trinity College, Dublin 2, Ireland

    Andrew Butterfield

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions