Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings

Abstract

Formal Methods for Evolving Database Applications. Many database applications undergo significant schema changes during their life cycle due to performance or maintainability reasons. Trace-Relating Compiler Correctness and Secure Compilation. Runners in Action. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. Constructive Game Logic. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Concise Read-Only Specifications for Better Synthesis of Programs with Pointers...