{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T12:25:55Z","timestamp":1768998355036,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540655275","type":"print"},{"value":"9783540492016","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_16","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T02:56:07Z","timestamp":1179629767000},"page":"228-242","source":"Crossref","is-referenced-by-count":13,"title":["Dead Code Elimination through Dependent Types"],"prefix":"10.1007","author":[{"given":"Hongwei","family":"Xi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"16_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers. Addison-Wesley, Reading, Massachusetts, 1986."},{"key":"16_CR2","unstructured":"Rowan Davies. Practical refinement-type checking. Thesis Proposal, November 1997."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Manuel F\u00e4hndrich and Alexander Aiken. Program analysis using mixed term and set constraints. In Proceedings of the 4th International Static Analysis Symposium, September 1997.","DOI":"10.1007\/BFb0032737"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Tim Freeman and Frank Pfenning. Refinement types for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 268\u2013277, Toronto, Ontario, 1991.","DOI":"10.1145\/113445.113468"},{"key":"16_CR5","unstructured":"F. Gecseg and M Steinb. Tree automata. Akademiai Kiado, 1991."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Paul Hudak, S. L. Peyton Jones, and Philip Wadler. Report on the programming language Haskell, a non-strict purely-functional programming language, Version 1.2. SIGPLAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"16_CR7","unstructured":"John Hughes. Compile-time analysis of functional programs. In D. Turner, editor, Research Topics in Functional Programming, pages 117\u2013153. Addison-Wesley, 1990."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"N. Jones and S. Muchnick. Flow analysis and optimization of lisp-like structures. In Conference Record of 6th ACM SIGPLAN Symposium on Principles of Programming Languages, pages 244\u2013256, January 1979.","DOI":"10.1145\/567752.567776"},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"Proceedings of the Symposium on Theoretical Aspects of Computer Science","author":"G. Kahn","year":"1987","unstructured":"Gilles Kahn. Natural semantics. In Proceedings of the Symposium on Theoretical Aspects of Computer Science, pages 22\u201339. Springer-Verlag LNCS 247, 1987."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Partial dead code elimination. In Proceedings of the ACM SIGPLAN Conference on Programming Language Implementation and Design, pages 147\u2013158, June 1994.","DOI":"10.1145\/178243.178256"},{"key":"16_CR11","unstructured":"Y. Liu and D. Stoller. Dead code elimination using program-based regular tree grammars. Available at ftp:\/\/ftp.cs.indiana.edu\/pub\/liu\/ElimDeadRec-TR97.ps.Z ."},{"key":"16_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1997","unstructured":"Robin Milner, Mads Tofte, Robert W. Harper, and D. MacQueen. The Definition of Standard ML. MIT Press, Cambridge,Massachusetts, 1997."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Heintze Nevin. Set-based Program Analysis of ML programs. Ph. D dissertation, Carnegie Mellon University, 1992.","DOI":"10.21236\/ADA270597"},{"issue":"3","key":"16_CR14","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip. A survey of program slicing. Journal of Programming Languages, 3(3):121\u2013189, 1995.","journal-title":"Journal of Programming Languages"},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-18317-5_21","volume-title":"Proceedings of the 3rd International Conference on Functional Programming and Computer Architecture","author":"P. Wadler","year":"1987","unstructured":"P. Wadler and J. Hughes. Projections for strictness analysis. In Proceedings of the 3rd International Conference on Functional Programming and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 385\u2013407. Springer-Verlag, 1987."},{"key":"16_CR16","unstructured":"Pierre Weis and Xavier Leroy. Le langage Caml. InterEditions, Paris, 1993."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"H. Xi and F. Pfenning. Eliminating array bound checking through dependent types. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 249\u2013257, June 1998.","DOI":"10.1145\/277650.277732"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"H. Xi and F. Pfenning. Dependent types in practical programming. In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages, January 1999.","DOI":"10.1145\/292540.292560"},{"key":"16_CR19","unstructured":"Hongwei Xi. Some examples of DML programming. Available at http:\/\/www.cs.cmu.edu\/~hwxi\/DML\/examples\/ , November 1997."},{"key":"16_CR20","unstructured":"Hongwei Xi. Dependent Types in Practical Programming. PhD thesis, Carnegie Mellon University, 1998. pp. viii+189. Forthcoming. The current version is available as http:\/\/www.cs.cmu.edu\/~hwxi\/DML\/thesis.ps ."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in standard ml programs. In Proceedings of the 4th International Static Analysis Symposium, September 1997.","DOI":"10.1007\/BFb0032736"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:57:23Z","timestamp":1556416643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}