Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Tarmo Uustalu

    1. Institute of Cybernetics at Tallinn University of Technology, Tallinn

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

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

Included in the following conference series:

Conference proceedings info: MPC 2006.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. What Is a Good Process Semantics?

      • Robin Cockett
      Pages 1-3

    2. Refunctionalization at Work

      • Olivier Danvy
      Pages 4-4

    3. Aspects and Data Refinement

      • Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni et al.
      Pages 5-9

  3. Contributed Papers

    1. Towards Generic Programming with Sized Types

      • Andreas Abel
      Pages 10-28

    2. Relational Semantics for Higher-Order Programs

      • Kamal Aboul-Hosn, Dexter Kozen
      Pages 29-48

    3. Proofs of Randomized Algorithms in Coq

      • Philippe Audebaud, Christine Paulin-Mohring
      Pages 49-68

    4. Exercises in Quantifier Manipulation

      • Roland Backhouse, Diethard Michaelis
      Pages 69-81

    5. Improving Saddleback Search: A Lesson in Algorithm Design

      • Richard S. Bird
      Pages 82-89

    6. Loopless Functional Algorithms

      • Richard S. Bird
      Pages 90-114

    7. Compositional Reasoning for Pointer Structures

      • Yifeng Chen, J. W. Sanders
      Pages 115-139

    8. Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards

      • Brijesh Dongol, Arjan J. Mooij
      Pages 140-161

    9. Fission for Program Comprehension

      • Jeremy Gibbons
      Pages 162-179

    10. “Scrap Your Boilerplate” Revolutions

      • Ralf Hinze, Andres Löh
      Pages 180-208

    11. Generic Views on Data Types

      • Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
      Pages 209-234

    12. Recursion Schemes for Dynamic Programming

      • Jevgeni Kabanov, Varmo Vene
      Pages 235-252

    13. Bimonadic Semantics for Basic Pattern Matching Calculi

      • Wolfram Kahl, Jacques Carette, Xiaoheng Ji
      Pages 253-273

    14. Nondeterministic Folds

      • Clare E. Martin, Sharon A. Curtis
      Pages 274-298

    15. A Datastructure for Iterated Powers

      • Ralph Matthes
      Pages 299-315

    16. Continuous Action System Refinement

      • Larissa Meinicke, Ian J. Hayes
      Pages 316-337
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

Editors and Affiliations

  • Institute of Cybernetics at Tallinn University of Technology, Tallinn

    Tarmo Uustalu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation