A Modular Verifiable Exception Handling Mechanism

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 7, Issue 2, 1985, Pages 214-243

  Yemini, Shaula ^a   Berry, Daniel M ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976749735     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/3318.3320     Document Type: Article

References (29)

1. BERRY, D.M., KEMMERER, R.A., VON STAA, A., and YEMINI, S. Toward modular verifiable exception handling. J. Comput. Lang. 5 (1980), 77-101.
2. Cocco, N., and DULLI, S. A mechanism for exception handling and its verification rules. J. Comput. Lang. 7 (1982), 89-102.
3. CRISTIAN, F. Robust data types. Acfu InJ (1982), 365-397.
4. CRISTIAN, F. Reasoning about programs with exceptions. In Proceedings 13th Infernufionul Symposium on Fault-Tolerant Computing, (Milano, Italy, June 21-30, 1983).
5. CRISTIAN, F. Correct and robust programs. L5E.E Trans. on Sofnu. Eng. SE-IO, 2 (Mar. 1984).
6. DENNIS, J.B. Modularity. In Advanced Course in Sojtwure Engineering, F. Bauer, Ed., Springer-Verlag, Berlin, 1973.
7. GOODENOUGH, J. B. Exception handling: issues and a proposed notation. Commun. ACM 18, 2 (Dec. 1975).
8. IBM OS PL/I Checkout and Optimizing Compilers: Language Reference Manual, SC33-0009-2, IBM Corp., 1973.
9. ICHBIAH, J., et al Rationale for the design of the Ada programming language. ACM SIGPLAN Not. 14, 6 (June 1979).
10. JOHNSTON, J.B. The contour model of block structured processes. In Proceedings ACM Coderence on Data Structures in Programming Languages. ACM SIGPLAN Not. 6, 2 (Feb. 1971).
11. LEVIN, R. Program structures for exceptional condition handling. Ph.D. dissertation, Carnegie Mellon Univ., June 1977.
12. LISKOV, B.H., and SNYDER, A. Structured exception handling. Computation Structures Group Memo 155, MIT, Dec. 1977.
13. LISKOV, B.H., SNYDER A., ATKINSON,R., and SHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 24 8 (Aug. 1977).
14. LISKOV, B.H., and SNYDER, A. Exception handling in CLU. IEEE Trans. Sofnu. Eng. SE-Z, 6 (Nov. 1979 1.
15. LUCKHAM, D.C., and POLAK, W. Ada exception handling: an axiomatic approach. ACM Trans. Prog. Lang. Syst. 2, 2 (Apr. 1980).
16. MACLAREN, M.D. Exception handling in PL/I. In Proceedings ACM Corfence on Language Design for Reliable Software, Mar. 1977.
17. MITCHELL, J.G., MAYBURY, W., and SWEET, R. MESA Language Manual. Xerox Research Center, Palo Alto, Calif., Mar. 1979.
18. MYERS, G.J. Reliable Software through Composite Design. PetrocelliKharter, New York, 1975.
19. PARNAS, D.L. A technique for the specification of software modules. Commun. ACM 15, 5 (May 1972).
20. PARNAS, D.L. Response to detected errors in well-structured programs. Computer Science Dept., Carnegie-Mellon Univ., 1972.
21. PARNAS, D.L. On the criteria to be used in decomposing systems into modules. Commun. ACM 15, 12 (Dec. 1972).
22. RANDELL, B., and RUSSEL, L.J. ALGOL 60 Implementation. Academic Press, New York, 1964.
23. SCHWARTZ, R.L. An axiomatic treatment of Algol 68 routines, In Proceedings 6th International Conference on Automata, Languages and Programming, (Gratz Austria, July 1979).
24. SCHWARTZ, R.L. and BERRY,D.M. A semantic view of Algo1 68. J. of Comput. Lang. 4 (1979), 1-15.
25. VAN WIJNGAARDEN, A. et al Revised report on the algorithmic language Algol 68. Acta Irlf: 5 (1975).
26. YEMINI, S. The replacement model for modular verifiable exception handling. Ph. D. dissertation, Computer Science Dept., UCLA, 1980.
27. YEMINI, S. An axiomatic treatment of exception handling. In Proceedings 9th Symposium on Principles of Programming Languages (Jan. 1982).
28. YEMINI, S. Task termination and exception handling in parallel programs. IBM T.J. Watson Research Laboratory, preprint, 1983.
29. ZAHN, C.T. A control statement for top-down structured programming, In Programming Symposium, Lecture Notes in Computer Science 19, J.B. Robinet, Ed., Springer-Verlag, Berlin, 1974.