{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:57Z","timestamp":1725490197465},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669548"},{"type":"electronic","value":"9783540465898"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46589-8_8","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:05:53Z","timestamp":1188299153000},"page":"136-163","source":"Crossref","is-referenced-by-count":3,"title":["Aliasing in Object Oriented Systems"],"prefix":"10.1007","author":[{"given":"James","family":"Noble","sequence":"first","affiliation":[]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[]},{"given":"Doug","family":"Lea","sequence":"additional","affiliation":[]},{"given":"Paulo Sergio","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996."},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/BFb0053373","volume-title":"ECOOP\u201997 Object-Oriented Programming, 11th European Conference","author":"P. S. Almeida","year":"1997","unstructured":"Paulo Sergio Almeida. Balloon types: Controlling sharing of state in data types. In Mehmet Ak\u015fit and Satoshi Matsuoka, editors, ECOOP\u201997 Object-Oriented Programming, 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 32\u201359, Berlin, Heidelberg, New York, 1997. Springer."},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/199818.199860","volume":"30","author":"H. G. Baker","year":"1995","unstructured":"Henry G. Baker. \u2018Use-once\u2019 variables and linear objects-storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1):45\u201352, January 1995.","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR4","unstructured":"B. Bokowski and J. Vitek. Confined types. In OOPSLA\u2019 99 Conference Proceedings. ACM, 1999."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Boris Bokowski. Coffeestrainer: Statically-checked constraints on the definition and-use of types in java. In Proceedings of ESEC\/FSE\u201999, Toulouse, France, September 1999.","DOI":"10.1007\/3-540-48166-4_22"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Boris Bokowski and Markus Dahm. Poor man\u2019s genericity for Java. Presentation at ECOOP\u201998, http:\/\/www.inf.fu-berlin.de\/~bokowski\/pmgjava\/ , 1998","DOI":"10.1007\/3-540-49255-0_182"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"G. Braha, Martin Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. Proceedings of OOPSLA\u201998, ACM SIGPLAN Notices, 33, 1998.","DOI":"10.1145\/286936.286957"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Fred Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, and Peng Tu. A new algorithm for partial redundancy elimination based on SSA form. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 273\u2013286, 1997.","DOI":"10.1145\/258915.258940"},{"key":"8_CR9","unstructured":"D.G. Clarke, R. Shelswell, J.M. Potter, and J. Noble. Object ownership to order. manuscript, 1998."},{"issue":"10","key":"8_CR10","first-page":"48","volume":"33","author":"D. G. Clarke","year":"1998","unstructured":"David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA\u2019 98 Conference Proceedings, volume 33(10) of ACM SIGPLAN Notices, pages 48\u201364. ACM, October 1998.","journal-title":"OOPSLA\u2019 98 Conference Proceedings"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-62599-2_31","volume-title":"Joint Modular Languages Conference","author":"S. Collin","year":"1997","unstructured":"Suzanne Collin, Dominique Colnet, and Olivier Zendra. Type Inference for Late Binding. The SmallEiffel Compiler. In Joint Modular Languages Conference, volume 1204 of Lecture Notes in Computer Sciences, pages 67\u201381. Springer-Verlag, 1997."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Dominique Colnet, Philippe Coucaud, and Olivier Zendra. Compiler Support to Customize the Mark and Sweep Algorithm. In ACM SIGPLAN International Symposium on Memory Management (ISMM\u201998), pages 154\u2013165, October 1998.","DOI":"10.1145\/286860.286877"},{"issue":"4","key":"8_CR13","first-page":"70","volume":"4","author":"M. Davis","year":"1999","unstructured":"Mark Davis. Immutables. Java-Report, 4(4):70\u201377, April 1999.","journal-title":"Java-Report"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss. Type-based alias analysis. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 106\u2013117, 1998.","DOI":"10.1145\/277652.277670"},{"key":"8_CR15","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994."},{"key":"8_CR16","unstructured":"J. Goguen, J. Thatcher, and E. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract datatypes. In R. Yeh, editor, Current Trends in Programming Methodology (Vol. IV: Data Structuring). Prentice-Hall, 1978."},{"key":"8_CR17","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996."},{"key":"8_CR18","unstructured":"Roger Henriksson. Scheduling Garbage Collection in Embedded Systems. PhD thesis, Department of Computer Science, Lund University, Sweden, 1998."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, (1), 1972.","DOI":"10.1007\/BF00289507"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/130943.130947","volume":"3","author":"J. Hogg","year":"1992","unstructured":"J. Hogg, D. Lea, A. Wills, D. de Champeaux, and Richard Holt. Report on ECOOP\u201991 workshop W3: The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2):11\u201316, 1992.","journal-title":"OOPS Messenger"},{"issue":"number 11","key":"8_CR21","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/117954.117975","volume":"26","author":"J. Hogg","year":"1991","unstructured":"John Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the OOPSLA\u2019 91 Conference on Object-oriented Programming Systems, Languages and Applications, pages 271\u2013285, November 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.","journal-title":"Proceedings of the OOPSLA\u2019 91 Conference on Object-oriented Programming Systems, Languages and Applications"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), December 1992.","DOI":"10.1145\/161494.161501"},{"key":"8_CR23","unstructured":"Doug Lea. Concurrent Programming in Java-Design Principles and Patterns. Addison Wesley, 1996."},{"key":"8_CR24","unstructured":"K.R.M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, 1995."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.","DOI":"10.1016\/S1353-4858(97)83033-4"},{"key":"8_CR26","unstructured":"Barbara Liskov and John V. Guttag. Abstraction and Specification in Program Development. MIT Press\/McGraw-Hill, 1986."},{"key":"8_CR27","volume-title":"Object-Oriented Series","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, N.Y., 1992."},{"key":"8_CR28","unstructured":"Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988."},{"key":"8_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0053062","volume-title":"ECOOP\u201996-Object-Oriented Programming, 10th European Conference","author":"N. Minsky","year":"1996","unstructured":"Naftaly Minsky. Towards alias-free pointers. In Pierre Cointe, editor, ECOOP\u201996-Object-Oriented Programming, 10th European Conference, volume 1098 of Lecture Notes in Computer Science, pages 189\u2013209, Berlin, Heidelberg, New York, July 1996. Springer."},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"E. Morel and C. Renvoise. Global optimization by suppression of partial redundancies. Communications of the ACM, 22(2):96\u2013103, February 1979.","journal-title":"Communications of the ACM"},{"key":"8_CR31","unstructured":"P. M\u00fcller and A. Poetzsch-Heffter. Modular specification and verification techniques for object-oriented software components. In G. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems. Cambridge University Press, 1999. (to appear)."},{"issue":"4","key":"8_CR32","first-page":"467","volume":"7","author":"K. Nilsen","year":"1994","unstructured":"Kelvin Nilsen. Reliable Real-Time Garbage Collection of C++. Computing Systems, 7(4):467\u2013504, 1994.","journal-title":"Computing Systems"},{"key":"8_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"Proceedings of ECOOP\u201998","author":"J. Noble","year":"1998","unstructured":"James Noble, Jan Vitek, and John Potter. Flexible alias protection. In Proceedings of ECOOP\u201998, number 1445 in LNCS, pages 158\u2013185. Springer Verlag, 1998."},{"key":"8_CR34","unstructured":"Nathaniel John Nystrom. Bytecode level analysis and optimization of Java classes. Master\u2019s thesis, Purdue University, August 1998."},{"key":"8_CR35","unstructured":"Robert O\u2019Callahan. The design of program analysis services. Technical Report CMU-CS-99-135, Carnegie Mellon University, Pittsburgh, PA 15213, June 1999."},{"issue":"7","key":"8_CR36","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/315253.314440","volume":"34","author":"P. Persson","year":"1999","unstructured":"Patrik Persson. Live Memory Analysis for Garbage Collection in Embedded Systems. In Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES\u201999), SIGPLAN Notices 34(7), pages 45\u201354. ACM Press, 1999.","journal-title":"SIGPLAN Notices"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"G. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5(3), 1977.","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"John Potter, James Noble, and David Clarke. The ins and outs of objects. In Australian Software Engineering Conference (ASWEC), 1998.","DOI":"10.1109\/ASWEC.1998.730915"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"William Pugh. Fixing the Java memory model. In ACM Java Grande Conference, 1999.","DOI":"10.1145\/304065.304106"},{"issue":"1","key":"8_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1\u201350, January 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR41","unstructured":"Loren Taylor Simpson. Value-Driven Redundancy Elimination. PhD thesis, Rice University, Houston, Texas, April 1996."},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In Conference Record of the Twenty-third Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, pages 32\u201341, New York, 1996. ACM Press.","DOI":"10.1145\/237721.237727"},{"key":"8_CR43","unstructured":"Dirk Theisen. Enhancing Encapsulation in OOP-A Practical Approach. Masters thesis, CS Dept. III, University of Bonn, Germany, 1999."},{"key":"8_CR44","volume-title":"Programming Concepts and Methods","author":"P. Wadler","year":"1990","unstructured":"Philip Wadler. Linear types can change the world! In M. Broy and C.B. Jones, editors, Programming Concepts and Methods. Elsevier, North-Holland, 1990."},{"key":"8_CR45","unstructured":"Phillip Yelland. Models of Modularity: A Study of Object-Oriented Programming. PhD thesis, Cambridge University, Cambridge, U.K., 1991."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology ECOOP\u201999 Workshop Reader"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46589-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:12:00Z","timestamp":1556802720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46589-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540669548","9783540465898"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-46589-8_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}