Abstract | ||
---|---|---|
BSTRACTThis paper introduces a new library for implementing executable contracts in Elixir. In addition to classical contract constructs such as preconditions and postconditions, 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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1145/3546186.3549930 | International Conference on Functional Programming |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sergio Pérez | 1 | 0 | 0.34 |
Luis Eduardo Bueso de Barrio | 2 | 0 | 0.68 |
Ignacio Ballesteros | 3 | 0 | 0.34 |
Ángel Herranz | 4 | 0 | 0.68 |
Julio Mariño | 5 | 0 | 0.68 |
Clara Benac Earle | 6 | 150 | 19.70 |
Lars-Åke Fredlund | 7 | 0 | 0.68 |