Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 16:14 - 16:40 at Reindeer - Arrays Chair(s): Fritz Henglein

We present a purely functional array programming language that offers safe, purely functional and crash-free in-place array transformations. The language supports high-level abstractions for pure and efficient array computations that fully support equational reasoning. We show how to execute selected parts of these computations \emph{safely} in-place, with the compiler guaranteeing that in-place execution does not change the computation’s result. Correctness is ensured by using an off-the-shelf-theorem prover to discharge safety conditions. Our main contribution is the idea of virtual copies for expressing re-use of arrays, and techniques for verifying their safety, which allow a pure language to include in-place transformations without weakening its transparency or reasoning power.

Sun 18 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:40: FHPNC - Arrays at Reindeer
Chair(s): Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU) and Deon Digital
FHPNC-2019-papers15:20 - 15:45
Sune HellfritzschUniversity of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
FHPNC-2019-papers15:46 - 16:13
Federico PizzutiUniversity of Edinburgh, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh
Link to publication DOI Pre-print File Attached
FHPNC-2019-papers16:14 - 16:40
Markus Aronsson, Koen ClaessenChalmers University of Technology, Mary Sheeran, Nicholas SmallboneChalmers University of Technology, Sweden