{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:53Z","timestamp":1725663413397},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T01:42:31Z","timestamp":1330220551000},"page":"160-174","source":"Crossref","is-referenced-by-count":6,"title":["An exception handling construct for functional languages"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Bretz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Ebert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"11_CR1","unstructured":"Bretz, M.: Exception Handling in Functional Programs, in: W.-M. Lippe (Hrsg.), \u201c4. Workshop \u2014 Alternative Konzepte f\u00fcr Sprachen und Rechner\u201d, Universit\u00e4t M\u00fcnster, Schriftenreihe \u201cAngewandte Mathematik und Informatik\u201d, Band 2\/87-I"},{"key":"11_CR2","unstructured":"Bretz, M.; Ebert, J.: Type Inference for Exception Handling, Internal Report, EWH Koblenz, 1987"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0167-6423(87)90019-0","volume":"8","author":"L. Cardelli","year":"1987","unstructured":"Cardelli, L.: Basic Polymorphic Typechecking, Science of Computer Programming, 8(1987), pp. 147\u2013172","journal-title":"Science of Computer Programming"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF00264158","volume":"17","author":"F. Cristian","year":"1982","unstructured":"Cristian, F.: Robust Data Types, Acta Informatica, 17(1982), pp. 365\u2013397","journal-title":"Acta Informatica"},{"key":"11_CR5","series-title":"Technical Report","volume-title":"Dependable Programs: Concepts and Terminology","author":"F. Cristian","year":"1986","unstructured":"Cristian, F.: Dependable Programs: Concepts and Terminology, IBM Research Laboratory, San Jose, CA, 1986 (Technical Report)"},{"key":"11_CR6","first-page":"73","volume-title":"Proceedings of the WG' 85","author":"J. Ebert","year":"1985","unstructured":"Ebert, J.: Graph Implementation of a Functional Language, in: H. Noltemeier (ed.), Proceedings of the WG' 85, Trauner, Linz, 1985, pp. 73\u201384"},{"key":"11_CR7","unstructured":"Ebert, J.: Ein SECD-artiger Graphenauswerter, in: W.-M. Lippe (Hrsg.), \u201c4. Workshop \u2014 Alternative Konzepte f\u00fcr Sprachen und Rechner\u201d, Universit\u00e4t M\u00fcnster, Schriftenreihe \u201cAngewandte Mathematik und Informatik\u201d, Band 2\/87-I"},{"issue":"6","key":"11_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/214762.214769","volume":"30","author":"J. Ebert","year":"1987","unstructured":"Ebert, J.: A Versatile Data Structure for Edge-Oriented Graph Algorithms, Comm. ACM, 30(6, 1987) (June 1987), pp. 513\u2013519","journal-title":"Comm. ACM"},{"issue":"12","key":"11_CR9","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B.: Exception Handling: Issues and a Proposed Notation, Comm. ACM, 18(12, 1975), (Dec. 1975), pp. 683\u2013696","journal-title":"Comm. ACM"},{"key":"11_CR10","volume-title":"YACC \u2014 Yet Another Compiler Compiler","author":"S.C. Johnson","year":"1975","unstructured":"Johnson, S.C.: YACC \u2014 Yet Another Compiler Compiler, Bell Laboratories, Murray Hill, NJ, 1975 (CSTR 32)"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The Mechanical Evaluation of Expressions, Computer Journal 6, 1964, pp. 308\u2013320","journal-title":"Computer Journal"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The Next 700 Programming Languages, Comm. ACM, 9(3, 1966) (March 1966), pp. 157\u2013166","journal-title":"Comm. ACM"},{"key":"11_CR13","volume-title":"LEX \u2014 A Lexical Analyzer Generator","author":"M.E. Lesk","year":"1975","unstructured":"Lesk, M.E.; Schmidt E.: LEX \u2014 A Lexical Analyzer Generator, Bell Laboratories, Murray Hill, NJ, 1975 (CSTR 39)"},{"key":"11_CR14","first-page":"58","volume-title":"Tagungsband der 8ten Fachtagung","author":"T. Letschert","year":"1984","unstructured":"Letschert, T.: Type Inference in the Presence of Overloading, Polymorphism and Coercions, in: Tagungsband der 8ten Fachtagung \u201cProgrammiersprachen und Programmentwicklung\u201d, Z\u00fcrich 1984, pp. 58\u201370"},{"issue":"6","key":"11_CR15","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/TSE.1979.230191","volume":"5","author":"B.H. Liskov","year":"1979","unstructured":"Liskov, B.H.; Snyder, A.: Exception Handling in CLU, IEEE Trans. on Soft. Eng., 5(6, 1979) (Nov. 1979), pp. 546\u2013558","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"2","key":"11_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/357094.357100","volume":"2","author":"D.C. Luckham","year":"1980","unstructured":"Luckham, D.C.; Polak W.: Ada Exception Handling \u2014 An Axiomatic Approach, ACM Trans. on Prog. Lang. Syst., 2(2, 1980) (April 1980), pp. 225\u2013233","journal-title":"ACM Trans. on Prog. Lang. Syst."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"Milner, R: A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, 17(1978), pp. 348\u2013375","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Proposal for Standard ML, ACM Conf. Record of the 1984 Symposium on Lisp and Functional Programming, 1984, pp. 184\u2013197","DOI":"10.1145\/800055.802035"},{"key":"11_CR19","unstructured":"OS and DOS PL\/I Language Reference Manual, IBM Corporation, 1981"},{"issue":"12","key":"11_CR20","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. Rees","year":"1986","unstructured":"Rees, J.; Clinger W. et al.: Revised Report on the Algorithmic Language Scheme, SIGPLAN Notices, 21(12, 1986) (Dec. 1986), pp. 37\u201379","journal-title":"SIGPLAN Notices"},{"issue":"2","key":"11_CR21","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/3318.3320","volume":"7","author":"S. Yemini","year":"1985","unstructured":"Yemini, S.; Berry, D.M.: A Modular Verifiable Exception Handling Mechanism, ACM Trans. on Prog. Lang. Syst., 7(2, 1985) (April 1985), pp. 214\u2013243","journal-title":"ACM Trans. on Prog. Lang. Syst."},{"issue":"3","key":"11_CR22","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1145\/24039.24052","volume":"9","author":"S. Yemini","year":"1987","unstructured":"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\u2013407","journal-title":"ACM Trans. on Prog. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:10Z","timestamp":1605644170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}