Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23269
Title: | Towards a formalisation of Erlang failure and failure detection |
Authors: | Farrugia, Audrianne Francalanza, Adrian |
Keywords: | ERLANG (Computer program language) Software refactoring Computer software -- Development |
Issue Date: | 2012 |
Publisher: | University of Malta. Faculty of Information and Communication Technology |
Citation: | Farrugia, A., & Francalanza, A. (2012). Towards a formalisation of Erlang failure and failure detection. (WICT). Msida. |
Abstract: | This paper discusses preliminary investigations on the behaviour of the error handling mechanisms in Erlang, a parallel language which is renowned for its fault tolerant capabilities. A formal model is defined in order to provide a precise and unambiguous description of the behaviour of these mechanisms. The correctness of the model is evaluated by considering a simple Erlang program and comparing the behaviour as described by the formal semantics with that of actual Erlang. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23269 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
erl-calc.pdf | 325.6 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.