Software fault-tolerance in functional programming

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 1992, Pages 194-199

  Govindarajan, R ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FAULT TOLERANCE; PROBLEM ORIENTED LANGUAGES; SEMANTICS;

COMMUTATIVITY; CONTROL FLOWS; EXCEPTION HANDLERS; FUNCTIONAL LANGUAGES; NEW APPROACHES; REFERENTIAL TRANSPARENCY; SOFTWARE FAULT TOLERANCES;

FUNCTIONAL PROGRAMMING;

EID: 84855603506     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CMPSAC.1992.217569     Document Type: Conference Paper

References (10)

1. J. Backus, "Can Programming Be Liberated from von Neumann Approach? A Functional Style and its Algebra of Programs", Communications of the ACM, vol. 21, no. 8, pp. 613-641, Aug. 1978.
2. J. Backus, J. H. Williams, E. L. Wimmers, P. Lucas, ad A. Aiken, "FL Language Manual", Technical Report RJ-7100(67163), IBM Almaden Research Center, San Jose, CA, 1989.
3. M. Bretz and J. Ebert, "An Exception Handling Construct for Functional Languages", in Lecture notes in Computer Science 300, pp. 160-174, Springer-Verlag, Berlin 1988.
4. F. Cristian, "Exception Handling and Software Fault Tolerance", IEEE Transactions on Computers, vol. C-31, no. 6, pp. 531-540, June 1982.
5. R. Govindarajan, "Object Shielding: A Fresh Look at Exception Handlers in Parallel Functional Languages", in the Proc. of 1992 Workshop on Fault-Tolerant Parallel and Distributed Systems, Amherst, 1992.
6. K. Hammond, "Exception Handling in a Parallel Functional Language: PSML", Research Report CSC/89/R17, Dept. of Computing Science, University of Glasgow, Glasgow, 1989.
7. R. W. Harper, A. R. J. G. Milner, and M. Tofte, "The Definition of Standard ML, Version 3" Internal Report, ECS-LFCS-89-91, Dept. of Computer Science, Edinburgh University, 1989.
8. B. Randell, "System Structure for Software Fault Tolerance", IEEE Transactions on Software Engineering, vol. SE-1, no. 2, pp. 220-232, June 1975.
9. A. C. Reeves, D. A. Harrison, A. F. Sinclair, P. Williamson, "Gerald: An Exceptional Lazy Functional Programming Language", Technical Report #50, Department of Computing Science, University of Stirling, Stirling, February 1990.
10. S. Yemini and D. M. Berry, "An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language", ACM Transactions on Programming Languages and Systems, vol. 9, no. 3, pp. 390-407, 1987.