Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Philippe Audebaud
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christine Paulin-Mohring
    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 5133)

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

Included in the following conference series:

Conference proceedings info: MPC 2008.

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

  1. Front Matter

    Download chapter PDF

  2. Exploiting Unique Fixed Points

    • Ralf Hinze
    Pages 1-1

  3. Scrap Your Type Applications

    • Barry Jay, Simon Peyton Jones
    Pages 2-27

  4. Programming with Effects in Coq

    • Greg Morrisett
    Pages 28-28

  5. Verifying a Semantic βη-Conversion Test for Martin-Löf Type Theory

    • Andreas Abel, Thierry Coquand, Peter Dybjer
    Pages 29-56

  6. The Capacity-C Torch Problem

    • Roland Backhouse
    Pages 57-78

  7. Recounting the Rationals: Twice!

    • Roland Backhouse, João F. Ferreira
    Pages 79-91

  8. Zippy Tabulations of Recursive Functions

    • Richard S. Bird
    Pages 92-109

  9. Unfolding Abstract Datatypes

    • Jeremy Gibbons
    Pages 110-133

  10. Circulations, Fuzzy Relations and Semirings

    • Roland Glück, Bernhard Möller
    Pages 134-152

  11. Asynchronous Exceptions as an Effect

    • William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter
    Pages 153-176

  12. The Böhm–Jacopini Theorem Is False, Propositionally

    • Dexter Kozen, Wei-Lung Dustin Tseng
    Pages 177-192

  13. The Expression Lemma

    • Ralf Lämmel, Ondrej Rypacek
    Pages 193-219

  14. Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening

    • Ralph Matthes
    Pages 220-242

  15. Probabilistic Choice in Refinement Algebra

    • Larissa Meinicke, Ian J. Hayes
    Pages 243-267

  16. Algebra of Programming Using Dependent Types

    • Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    Pages 268-283

  17. Safe Modification of Pointer Programs in Refinement Calculus

    • Susumu Nishimura
    Pages 284-304

  18. A Hoare Logic for Call-by-Value Functional Programs

    • Yann Régis-Gianas, François Pottier
    Pages 305-335

  19. Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems

    • Michel Sintzoff
    Pages 336-359

  20. Modal Semirings Revisited

    • Jules Desharnais, Georg Struth
    Pages 360-387
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation