© 2019

Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

  • Graham Hutton
Conference proceedings MPC 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11825)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11825)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Annabelle McIver
    Pages 1-17
  3. Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu
    Pages 18-44
  4. Dominique Larchey-Wendling, Ralph Matthes
    Pages 45-75
  5. Jan Stolarek, James Cheney
    Pages 76-102
  6. Ralf Hinze
    Pages 103-137
  7. Richard Bird, Florian Rabe
    Pages 138-154
  8. Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau
    Pages 155-196
  9. Brijesh Dongol, Ian Hayes, Larissa Meinicke, Georg Struth
    Pages 197-225
  10. Reynald Affeldt, David Nowak, Takafumi Saikawa
    Pages 226-254
  11. James Chapman, Roman Kireev, Chad Nester, Philip Wadler
    Pages 255-297
  12. Roland Backhouse
    Pages 298-328
  13. Ambrus Kaposi, András Kovács, Nicolai Kraus
    Pages 329-365
  14. Robin Kaarsgaard, Niccolò Veltri
    Pages 366-384
  15. Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
    Pages 385-413
  16. Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
    Pages 414-443
  17. Jeremy Gibbons
    Pages 444-465
  18. Back Matter
    Pages 467-467

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. 

The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. 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.


artificial intelligence computer programming databases formal logic functional programming linguistics network security problem solving programming languages query languages semantics software engineering software evaluation theorem proving

Editors and affiliations

  1. 1.University of NottinghamNottinghamUK

Bibliographic information

Industry Sectors
IT & Software