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.