Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27864
Title: | Compensations in an imperative programming language |
Authors: | Francalanza, Adrian Pace, Gordon J. Vella, Lydia |
Keywords: | Programming languages (Electronic computers) Imperative programming Parallel processing (Electronic computers) Parallel programming (Computer science) |
Issue Date: | 2010 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Francalanza, A., Pace, G. J., & Vella, L. (2010). Compensations in an imperative programming language. Workshop in Information and Communication Technology (WICT 2010), Msida. 1-6. |
Abstract: | Numerous mechanisms are used to deal with failure of sys- tems or processes, one of which is that of compensating ac- tions. A compensation can be seen as a program which somehow cancels out the effects of another — and by or- ganising code in such a way so as to associate each program with its compensation, enables implicit recovery to a sane state if part of a computation somehow fails. In this paper we present an imperative programming language natively supporting the notion of compensations, thus enabling the programmer to program using a notion of compensations at the source level of the system under development. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/27864 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Compensations_in_an_imperative_programming_language_2010.pdf | 178.79 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.