On programming atomic actions in Ada 95

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1251, Issue , 1997, Pages 254-265

  Romanovsky, A ^a   Mitchell, S E ^b   Wellings, A J ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMS; COMPUTER SOFTWARE REUSABILITY;

ATOMIC ACTIONS; CODE FRAGMENTS; SOFTWARE RE-USE; STATE RESTORATION;

ADA (PROGRAMMING LANGUAGE);

EID: 84957656123     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63114-3_23     Document Type: Conference Paper

References (13)

1. A. Burns and A. Wellings, Ada95: An Effective Concurrent Programming Language, in: Proc. Ada Euro 96, Switzerland, 1996, 58-77.
2. R.H. Campbell and B. Randell, Error Recovery in Asynchronous Systems, IEEE Transactions on Software Engineering SE-12, 8 (1986) 811-826.
3. DeVa Project Programme and Description, Design for Validation, Proposal Document (http://www.newcastle.research.ec.org/deva/index.html, 1995).
4. S.T. Gregory and J.C. Knight, On the provision of Backward Error Recovery in production programming languages, in: Proc. FTCS-19, USA, 1989, 506-511.
5. Information technology - Programming languages - Ada. Language and Standard Libraries. ISO/IEC 8652:1995(E), Intermetrics, Inc., 1995.
6. K.H. Kim, Approaches to Mechanization of the Conversation Scheme Based on Monitors, IEEE Transactions on Software Engineering SE-8, 3 (1982) 189-197.
7. P.A. Lee and T. Anderson, Fault Tolerance: Principles and Practice (Springer- Verlag, Wien - New York, 1990).
8. B. Randell, System Structure for Software Fault Tolerance, IEEE Transactions on Software Engineering SE-1, 2 (1975) 220-232.
9. B. Randell and J. Xu, The Evolution of the Recovery Block Concept, in M.R. Lyu, eds., Software Fault Tolerance (J. Wiley, 1994) 1-22.
10. A. Romanovsky, Atomic actions based on distributed/concurrent exception resolution, TR 560, Comp. Dept., University of Newcastle upon Tyne, 1996.
11. A. Romanovsky, Practical exception handling and resolution in concurrent programs, TR 545, Comp. Dept., University of Newcastle upon Tyne, 1996.
12. A. Romanovsky and L. Strigini, Backward error recovery via conversations in Ada, Software Engineering Journal 10, 8 (1995) 219-232.
13. A.J. Wellings and A. Bums, Implementing Atomic Actions in Ada95, TR YCS- 263, Department of Computer Science, University of York, 1996.