2019 | OriginalPaper | Chapter
Runtime Verification in Erlang by Using Contracts
Authors : Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
Published in: Functional and Constraint Logic Programming
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
gen_server
behaviour (a design pattern) permitting to specify declaratively when a server is ready to service a client request. The ideas presented in this paper have been implemented in a tool named EDBC
. Its source code is available at github.com as an open-source and free project.