Skip to main content
SpringerLink
Log in
Book cover

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Ralf Hinze

    1. University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Janis Voigtländer

    1. University of Bonn, Bonn, Germany

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MPC 2015.

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 EPUB and 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 (15 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Exploring an Interface Model for CKA

    • Bernhard Möller, Tony Hoare
    Pages 1-29

  3. On Rely-Guarantee Reasoning

    • Stephan van Staden
    Pages 30-49

  4. A Relation-Algebraic Approach to Multirelations and Predicate Transformers

    • Rudolf Berghammer, Walter Guttmann
    Pages 50-70

  5. Preference Decomposition and the Expressiveness of Preference Query Languages

    • Patrick Roocks
    Pages 71-92

  6. Hierarchy in Generic Programming Libraries

    • José Pedro Magalhães, Andres Löh
    Pages 93-112

  7. Polynomial Functors Constrained by Regular Expressions

    • Dan Piponi, Brent A. Yorgey
    Pages 113-136

  8. A Program Construction and Verification Tool for Separation Logic

    • Brijesh Dongol, Victor B. F. Gomes, Georg Struth
    Pages 137-158

  9. Calculating Certified Compilers for Non-deterministic Languages

    • Patrick Bahr
    Pages 159-186

  10. Notions of Bidirectional Computation and Entangled State Monads

    • Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
    Pages 187-214

  11. A Clear Picture of Lens Laws

    • Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
    Pages 215-223

  12. Regular Varieties of Automata and Coequations

    • J. Salamanca, A. Ballester-Bolinches, M. M. Bonsangue, E. Cosme-Llópez, J. J. M. M. Rutten
    Pages 224-237

  13. Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets

    • Rudolf Berghammer
    Pages 238-256

  14. Turing-Completeness Totally Free

    • Conor McBride
    Pages 257-275

  15. Auto in Agda

    • Wen Kokke, Wouter Swierstra
    Pages 276-301

  16. Fusion for Free

    • Nicolas Wu, Tom Schrijvers
    Pages 302-322

  17. Back Matter

    Pages 323-323
    Download chapter PDF
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Editors and Affiliations

  • University of Oxford, Oxford, UK

    Ralf Hinze

  • University of Bonn, Bonn, Germany

    Janis Voigtländer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation