ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 14:00 - 14:45 at M1 - Session 2

A new library for implementing executable programming contracts for Elixir code is introduced. In addition to classical contract constructs such as pre- and post-conditions, the library permits e.g. to specify exceptional behaviour (i.e. which exceptions are thrown and under which conditions), and to associate timers with function calls to detect non- terminating or too slow computations.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
Session 2Erlang at M1
Executable Contracts for Elixir
Sergio Perez Rubio Universitat Politècnica de València, Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Ignacio Ballesteros Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
Troubleshooting the Performance of a Large Erlang System
Nikos Tsikoudis Datometry, Marc Sugiyama Nova Labs