Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Dexter Kozen

    1. Department of Computer Science, Cornell University, Ithaca, USA

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

Included in the following conference series:

Conference proceedings info: MPC 2004.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Extended Static Checking for Java

      • Greg Nelson
      Pages 1-1

  3. Contributed Papers

    1. Constructing Polymorphic Programs with Quotient Types

      • Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
      Pages 2-15

    2. Optimizing Generic Functions

      • Artem Alimarine, Sjaak Smetsers
      Pages 16-31

    3. Inferring Type Isomorphisms Generically

      • Frank Atanassow, Johan Jeuring
      Pages 32-53

    4. Friends Need a Bit More: Maintaining Invariants Over Shared State

      • Mike Barnett, David A. Naumann
      Pages 54-84

    5. Chasing Bottoms

      • Nils Anders Danielsson, Patrik Jansson
      Pages 85-109

    6. Describing Gen/Kill Static Analysis Techniques with Kleene Algebra

      • Therrezinha Fernandes, Jules Desharnais
      Pages 110-128

    7. A Free Construction of Kleene Algebras with Tests

      • Hitoshi Furusawa
      Pages 129-141

    8. Streaming Representation-Changers

      • Jeremy Gibbons
      Pages 142-168

    9. Probabilistic Predicative Programming

      • Eric C. R. Hehner
      Pages 169-185

    10. An Algebra of Scans

      • Ralf Hinze
      Pages 186-210

    11. Compiling Exceptions Correctly

      • Graham Hutton, Joel Wright
      Pages 211-227

    12. Modelling Nondeterminism

      • Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
      Pages 228-251

    13. Lazy Kleene Algebra

      • Bernhard Möller
      Pages 252-273

    14. Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy

      • Joseph M. Morris
      Pages 274-288

    15. An Injective Language for Reversible Computation

      • Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
      Pages 289-313

    16. Prototyping Generic Programming in Template Haskell

      • Ulf Norell, Patrik Jansson
      Pages 314-333

    17. Transposing Relations: From Maybe Functions to Hash Tables

      • José Nuno Fonseca de Oliveira, César de Jesus Pereira Cunha Rodrigues
      Pages 334-356

    18. Pointer Theory and Weakest Preconditions without Addresses and Heap

      • Birgit Schieder
      Pages 357-380
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

Editors and Affiliations

  • Department of Computer Science, Cornell University, Ithaca, USA

    Dexter Kozen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation