{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T21:48:08Z","timestamp":1791236888798,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672623","type":"print"},{"value":"9783540464259","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46425-5_24","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:00:14Z","timestamp":1185919214000},"page":"366-381","source":"Crossref","is-referenced-by-count":65,"title":["Alias Types"],"prefix":"10.1007","author":[{"given":"Frederick","family":"Smith","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"24_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"24_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Third International Symposium on Programming Language Implementation and Logic Programming","author":"A. W. Appel","year":"1991","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Martin Wirsing, editor, Third International Symposium on Programming Language Implementation and Logic Programming, pages 1\u201313, New York, August 1991. Springer-Verlag. Volume 528 of Lecture Notes in Computer Science."},{"key":"24_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Thirteenth Conference on the Foundations of Software Technology and Theoretical Computer Science","author":"E. Barendsen","year":"1993","unstructured":"Erik Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems (extended abstract). In Thirteenth Conference on the Foundations of Software Technology and Theoretical Computer Science, pages 41\u201351, Bombay, 1993. In Shyamasundar, ed., Springer-Verlag, LNCS 761."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Karl Crary, David Walker, and Greg Morrisett. Typed memory management in a calculus of capabilities. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 262\u2013275, San Antonio, January 1999.","DOI":"10.1145\/292540.292564"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Alain Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In ACM Conference on Programming Language Design and Implementation, pages 230\u2013241, Orlando, June 1994.","DOI":"10.1145\/178243.178263"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Nurit Dor, Michael Rodeh, and Mooly Sagiv. Detecting memory errors via static pointer analysis (preliminary experience). In ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE\u201998), Montreal, June 1998.","DOI":"10.1145\/277631.277637"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"David Evans. Static detection of dynamic memory errors. In ACM Conference on Programming Language Design and Implementation, Philadelphia, May 1996.","DOI":"10.1145\/231379.231389"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Stephen N. Freund and John C. Mitchell. A formal framework for the Java bytecode language and verifier. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 147\u2013166, Denver, November 1999.","DOI":"10.1145\/320384.320397"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. Quasi-linear types. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 29\u201342, San Antonio, January 1999.","DOI":"10.1145\/292540.292546"},{"key":"24_CR10","unstructured":"Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996."},{"key":"24_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BFb0055511","volume-title":"Second International Workshop on Types in Compilation","author":"G. Morrisett","year":"1998","unstructured":"Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-based Typed Assembly Language. In Second International Workshop on Types in Compilation, pages 95\u2013117, Kyoto, March 1998. Published in Xavier Leroy and Atsushi Ohori, editors, Lecture Notes in Computer Science, volume 1473, pages 28\u201352. Springer-Verlag, 1998."},{"issue":"21","key":"24_CR12","first-page":"528","volume":"3","author":"G. Morrisett","year":"1999","unstructured":"Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. ACM Transactions on Programming Languages and Systems, 3(21):528\u2013569, May 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"George Necula. Proof-carrying code. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 106\u2013119, Paris, 1997.","DOI":"10.1145\/263699.263712"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"G. D. Plotkin. Call-by-name, call-by-value, and the lambda calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Definitional interpreters for higher-order programming languages. In Conference Record of the 25th National ACM Conference, pages 717\u2013740, Boston, August 1972.","DOI":"10.1145\/800194.805852"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Syntactic control of interference. In Fifth ACM Symposium on Principles of Programming Languages, pages 39\u201346, Tucson, 1978.","DOI":"10.1145\/512760.512766"},{"issue":"1","key":"24_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1996","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1\u201350, January 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR18","unstructured":"Z. Shao. An overview of the FLINT\/ML compiler. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03."},{"key":"24_CR19","unstructured":"Frederick Smith, David Walker, and Greg Morrisett. Alias types. Technical Report TR99-1773, Cornell University, October 1999."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Raymie Stata and Mart\u00edn Abadi. A type system for Java bytecode subroutines. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, January 1998.","DOI":"10.1145\/268946.268959"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Points-to analysis in linear time. In Twenty-Third ACM Symposium on Principles of Programming Languages, January 1996.","DOI":"10.1145\/237721.237727"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In ACM Conference on Programming Language Design and Implementation, pages 181\u2013192, Philadelphia, May 1996.","DOI":"10.1145\/231379.231414"},{"key":"24_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"Mads Tofte. Type inference for polymorphic references. Information and Computation, 89:1\u201334, November 1990.","journal-title":"Information and Computation"},{"issue":"2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"David N. Turner, Philip Wadler, and Christian Mossin. Once upon a type. In ACM International Conference on Functional Programming and Computer Architecture, San Diego, CA, June 1995.","DOI":"10.1145\/224164.224168"},{"key":"24_CR26","unstructured":"Philip Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. North Holland. IFIP TC 2 Working Conference."},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"A. K. Wright. Simple imperative polymorphism. LISP and Symbolic Computation, 8(4), December 1995.","DOI":"10.1007\/BF01018828"},{"issue":"1","key":"24_CR28","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. K. Wright","year":"1994","unstructured":"Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38\u201394, 1994.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46425-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:29:12Z","timestamp":1556713752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46425-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672623","9783540464259"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-46425-5_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}