Executable contracts for Elixir

DOI10.1016/J.JLAMP.2024.101019MaRDI QIDQ6643474zbMATH OpenFDO

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

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

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

Recommendations

• Practical typed lazy contracts
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Session-typed concurrent contracts
• The interaction of contracts and laziness
• Session-typed concurrent contracts

Cites work

• An optimal multi-writer snapshot algorithm
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Contracts for higher-order functions
• Correct blame for contracts, no more scapegoating
• Dafny: an automatic program verifier for functional correctness
• Efficient and practical constructions of LL/SC variables
• Finding race conditions in Erlang with quickcheck and PULSE
• Partial-Order Reduction

Cited in

(2)

• Preface to selected papers from 22nd workshop on programming and languages (PROLE 2023)
• Makina: a QuickCheck state machine library

This page was built for publication: Executable contracts for Elixir

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643474)