Advertisement

© 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
    PDF
  2. Experiments in Information Flow Analysis
    Annabelle McIver
    Pages 1-17
    PDF
  3. Handling Local State with Global State
    Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu
    Pages 18-44
    PDF
  4. Certification of Breadth-First Algorithms by Extraction
    Dominique Larchey-Wendling, Ralph Matthes
    Pages 45-75
    PDF
  5. Verified Self-Explaining Computation
    Jan Stolarek, James Cheney
    Pages 76-102
    PDF
  6. Self-certifying Railroad Diagrams
    Ralf Hinze
    Pages 103-137
    PDF
  7. How to Calculate with Nondeterministic Functions
    Richard Bird, Florian Rabe
    Pages 138-154
    PDF
  8. Setoid Type Theory—A Syntactic Translation
    Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau
    Pages 155-196
    PDF
  9. Cylindric Kleene Lattices for Program Construction
    Brijesh Dongol, Ian Hayes, Larissa Meinicke, Georg Struth
    Pages 197-225
    PDF
  10. A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
    Reynald Affeldt, David Nowak, Takafumi Saikawa
    Pages 226-254
    PDF
  11. System F in Agda, for Fun and Profit
    James Chapman, Roman Kireev, Chad Nester, Philip Wadler
    Pages 255-297
    PDF
  12. An Analysis of Repeated Graph Search
    Roland Backhouse
    Pages 298-328
    PDF
  13. Shallow Embedding of Type Theory is Morally Correct
    Ambrus Kaposi, András Kovács, Nicolai Kraus
    Pages 329-365
    PDF
  14. En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
    Robin Kaarsgaard, Niccolò Veltri
    Pages 366-384
    PDF
  15. Completeness and Incompleteness of Synchronous Kleene Algebra
    Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
    Pages 385-413
    PDF
  16. Unraveling Recursion: Compiling an IR with Recursion to System F
    Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
    Pages 414-443
    PDF
  17. Coding with Asymmetric Numeral Systems
    Jeremy Gibbons
    Pages 444-465
    PDF
  18. Back Matter
    Pages 467-467
    PDF

About these proceedings

Introduction

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.


Keywords

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