Executable contracts for Elixir

DOI10.1016/j.jlamp.2024.101019MaRDI QIDQ6643474

Clara Benac Earle, Lars-åke Fredlund, Luis Eduardo Bueso de Barrio, Julio Mariño, Ángel Herranz

Publication date: 26 November 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

Elixir

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Executable contracts for Elixir