Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Claude Bolduc

    1. Département d’informatique et de génie logiciel, Pavillon Adrien-Pouliot, Université Laval, Québec, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jules Desharnais

    1. Département d’informatique et de génie logiciel, Pavillon Adrien-Pouliot, Université Laval, Québec, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Béchir Ktari

    1. Département d’informatique et de génie logiciel, Pavillon Adrien-Pouliot, Université Laval, Québec, Canada

    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 6120)

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

Included in the following conference series:

Conference proceedings info: MPC 2010.

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 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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. The Algorithmics of Solitaire-Like Games

      • Roland Backhouse, Wei Chen, João F. Ferreira
      Pages 1-18

    2. Compositionality of Secure Information Flow

      • Catuscia Palamidessi
      Pages 19-19

    3. Process Algebras for Collective Dynamics

      • Jane Hillston
      Pages 20-21

  3. Contributed Talks

    1. On Automated Program Construction and Verification

      • Rudolf Berghammer, Georg Struth
      Pages 22-41

    2. The Logic of Large Enough

      • Eerke Boiten, Dan Grundy
      Pages 42-57

    3. Dependently Typed Grammars

      • Kasper Brink, Stefan Holdermans, Andres Löh
      Pages 58-79

    4. Abstraction of Object Graphs in Program Verification

      • Yifeng Chen, J. W. Sanders
      Pages 80-99

    5. Subtyping, Declaratively

      • Nils Anders Danielsson, Thorsten Altenkirch
      Pages 100-118

    6. Compositional Action System Derivation Using Enforced Properties

      • Brijesh Dongol, Ian J. Hayes
      Pages 119-139

    7. Designing an Algorithmic Proof of the Two-Squares Theorem

      • João F. Ferreira
      Pages 140-156

    8. Partial, Total and General Correctness

      • Walter Guttmann
      Pages 157-177

    9. Unifying Theories of Programming That Distinguish Nontermination and Abort

      • Ian J. Hayes, Steve E. Dunne, Larissa Meinicke
      Pages 178-194

    10. Adjoint Folds and Unfolds

      • Ralf Hinze
      Pages 195-228

    11. An Abstract Machine for the Old Value Retrieval

      • Piotr Kosiuczenko
      Pages 229-247

    12. A Tracking Semantics for CSP

      • Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
      Pages 248-270

    13. Matrices as Arrows!

      • Hugo Daniel Macedo, José Nuno Oliveira
      Pages 271-287

    14. Lucy-n: a n-Synchronous Extension of Lustre

      • Louis Mandel, Florence Plateau, Marc Pouzet
      Pages 288-309

    15. Sampling, Splitting and Merging in Coinductive Stream Calculus

      • Milad Niqui, Jan Rutten
      Pages 310-330

    16. Generic Point-free Lenses

      • Hugo Pacheco, Alcino Cunha
      Pages 331-352
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

Editors and Affiliations

  • Département d’informatique et de génie logiciel, Pavillon Adrien-Pouliot, Université Laval, Québec, Canada

    Claude Bolduc, Jules Desharnais, Béchir Ktari

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation