Chapter PDF
References
Bretz, M.: Exception Handling in Functional Programs, in: W.-M. Lippe (Hrsg.), “4. Workshop — Alternative Konzepte für Sprachen und Rechner”, Universität Münster, Schriftenreihe “Angewandte Mathematik und Informatik”, Band 2/87-I
Bretz, M.; Ebert, J.: Type Inference for Exception Handling, Internal Report, EWH Koblenz, 1987
Cardelli, L.: Basic Polymorphic Typechecking, Science of Computer Programming, 8(1987), pp. 147–172
Cristian, F.: Robust Data Types, Acta Informatica, 17(1982), pp. 365–397
Cristian, F.: Dependable Programs: Concepts and Terminology, IBM Research Laboratory, San Jose, CA, 1986 (Technical Report)
Ebert, J.: Graph Implementation of a Functional Language, in: H. Noltemeier (ed.), Proceedings of the WG' 85, Trauner, Linz, 1985, pp. 73–84
Ebert, J.: Ein SECD-artiger Graphenauswerter, in: W.-M. Lippe (Hrsg.), “4. Workshop — Alternative Konzepte für Sprachen und Rechner”, Universität Münster, Schriftenreihe “Angewandte Mathematik und Informatik”, Band 2/87-I
Ebert, J.: A Versatile Data Structure for Edge-Oriented Graph Algorithms, Comm. ACM, 30(6, 1987) (June 1987), pp. 513–519
Goodenough, J.B.: Exception Handling: Issues and a Proposed Notation, Comm. ACM, 18(12, 1975), (Dec. 1975), pp. 683–696
Johnson, S.C.: YACC — Yet Another Compiler Compiler, Bell Laboratories, Murray Hill, NJ, 1975 (CSTR 32)
Landin, P.J.: The Mechanical Evaluation of Expressions, Computer Journal 6, 1964, pp. 308–320
Landin, P.J.: The Next 700 Programming Languages, Comm. ACM, 9(3, 1966) (March 1966), pp. 157–166
Lesk, M.E.; Schmidt E.: LEX — A Lexical Analyzer Generator, Bell Laboratories, Murray Hill, NJ, 1975 (CSTR 39)
Letschert, T.: Type Inference in the Presence of Overloading, Polymorphism and Coercions, in: Tagungsband der 8ten Fachtagung “Programmiersprachen und Programmentwicklung”, Zürich 1984, pp. 58–70
Liskov, B.H.; Snyder, A.: Exception Handling in CLU, IEEE Trans. on Soft. Eng., 5(6, 1979) (Nov. 1979), pp. 546–558
Luckham, D.C.; Polak W.: Ada Exception Handling — An Axiomatic Approach, ACM Trans. on Prog. Lang. Syst., 2(2, 1980) (April 1980), pp. 225–233
Milner, R: A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, 17(1978), pp. 348–375
Milner, R.: A Proposal for Standard ML, ACM Conf. Record of the 1984 Symposium on Lisp and Functional Programming, 1984, pp. 184–197
OS and DOS PL/I Language Reference Manual, IBM Corporation, 1981
Rees, J.; Clinger W. et al.: Revised Report on the Algorithmic Language Scheme, SIGPLAN Notices, 21(12, 1986) (Dec. 1986), pp. 37–79
Yemini, S.; Berry, D.M.: A Modular Verifiable Exception Handling Mechanism, ACM Trans. on Prog. Lang. Syst., 7(2, 1985) (April 1985), pp. 214–243
Yemini, S.; Berry, D.M.: An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language, ACM Trans. on Prog. Lang. Syst., 9(3, 1987) (July 1987), pp. 390–407
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bretz, M., Ebert, J. (1988). An exception handling construct for functional languages. In: Ganzinger, H. (eds) ESOP '88. ESOP 1988. Lecture Notes in Computer Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19027-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-19027-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19027-1
Online ISBN: 978-3-540-38941-5
eBook Packages: Springer Book Archive