Executable contracts for Elixir

• Published in: Journal of logical and algebraic methods in programming Vol. 142; p. 101019
• Main Authors: Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2025

This article presents the design of a library for attaching and checking executable contracts to code written in the Elixir programming language. In addition to classical contract constructs such as preconditions and postconditions, the library allows specifying exceptional behaviour (i.e., which ex...