Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
erl-calc.pdf325.6 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.