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.