Executable contracts for Elixir - de Barrio, LEB; Fredlund, LA; Herranz, A; Mariño, J; Earle, CB (Journal Of Logical And Algebraic Methods In Programming, 2025)