{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:48Z","timestamp":1725664188876},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:27:28Z","timestamp":1330273648000},"page":"238-254","source":"Crossref","is-referenced-by-count":17,"title":["Compile-time detection of uncaught exceptions in Standard ML programs"],"prefix":"10.1007","author":[{"given":"Kwangkeun","family":"Yi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"15_CR3","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Patrick Cousot, and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic Computation, 2(4):511\u2013547, 1992. Also as a tech report: Ecole Polytechnique, no. LIX\/RR\/92\/10.","journal-title":"Journal of Logic Computation"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 55\u201366, 1991.","DOI":"10.1145\/99583.99594"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently computing static single assignment form and control dependence graph. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75280"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. Reducing the cost of data flow analysis by congruence partitioning. In International Confererence on Compiler Construction, April 1994.","DOI":"10.1007\/3-540-57877-3_24"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"D. Dhamdhere, B. Rosen, and F. Zadeck. How to analyze large programs efficiently and informatively. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, 1992.","DOI":"10.1145\/143095.143135"},{"key":"15_CR8","unstructured":"Juan Carlos Guzm\u00e1n and Asc\u00e1nder Su\u00e1rez. A type system for exceptions. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, June 1994."},{"issue":"3\/4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF01808954","volume":"2","author":"W. L. Harrison Jr","year":"1989","unstructured":"Williams L. Harrison III. The interprocedural analysis and automatic parallelization of scheme programs. Lisp and Symbolic Computation, 2(3\/4): 179\u2013396, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, and Laurent Michel. The impact of granularity in abstract interpretation of prolog. In Patrick Cousot, Moreno Falaschi, Gilberto File, and Antoine Rauzy, editors, Lecture Notes in Computer Science, volume 724. Springer-Verlag, proceedings of the third international workshop on static analysis edition, 1993.","DOI":"10.1007\/3-540-57264-3_25"},{"key":"15_CR11","unstructured":"Nevin Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, October 1992."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"John Hennessy. Program optimization and exception handling. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 200\u2013206, 1981.","DOI":"10.1145\/567532.567554"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic reconstruction of types and effects. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99623"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"John M. Lucassen and David K. Gifford. Polymorphic effect systems. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 47\u201357, 1988.","DOI":"10.1145\/73560.73564"},{"key":"15_CR15","unstructured":"Robin Milner, Mads Tofte, and Robert Haper. The Definition of Standard ML. MIT Press, 1990."},{"key":"15_CR16","unstructured":"Joseph E. Stoy. Denotational Semantics: the Scott-Strachey Approach to Programming LanguageTheory. MIT Press, 1977."},{"issue":"3","key":"15_CR17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J. Talpin","year":"1992","unstructured":"Jean-Piere Talpin, and Pierre Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3):245\u2013271, July 1992.","journal-title":"Journal of Functional Programming"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value \u03bb-calculus using a stack of regions. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, January 1994.","DOI":"10.1145\/174675.177855"},{"key":"15_CR19","unstructured":"Kwangkeun Yi and Williams Ludwell Harrison III. Automatic generation and management of interprocedural program analyses. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 246\u2013259 (also as CSRD Report No. 1260), January 1993."},{"key":"15_CR20","series-title":"Report UIUCDCS-R-93-1828","volume-title":"PhD thesis","author":"K. Yi","year":"1993","unstructured":"Kwangkeun Yi. Automatic Generation and Management of Program Analyses. PhD thesis, University of Illinois at Urbana-Champaign, August 1993. Report UIUCDCS-R-93-1828."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:21Z","timestamp":1605648141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}