Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23411
Title: | Towards a specification-based correctness of Erlang systems through asynchronous monitoring |
Authors: | Colombo, Christian Francalanza, Adrian |
Keywords: | ERLANG (Computer program language) Asynchronous transfer mode |
Issue Date: | 2012 |
Publisher: | University of Malta. Faculty of Information and Communication Technology |
Citation: | Colombo, C., & Francalanza, A. (2012). Towards a specification-based correctness of Erlang systems through asynchronous monitoring. (02-WICT-2012). Msida. |
Abstract: | We argue that runtime verification, in the guise of monitor-oriented programming, is a natural way how to ensure correctness in dynamically-typed, concurrent languages such as Erlang. Our proposal involves a methodology for marrying correctness runtime checking with the fail-fast approach in Erlang, exploiting the rich failure-handling mechanisms of the language. This allows us to smoothly integrate correctness analysis within existing language code practices. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23411 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
asy-mon-erl.pdf | 165.95 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.