Abstract
This chapter contains summaries of the presentations given at the Intercontinental Workshop on Aliasing in Object-Oriented Systems (IWAOOS’99) at the European Conference on Object-Oriented Programming (ECOOP’99) which was held in Lisbon, Portugal on June 15, 1999.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996.
Paulo Sergio Almeida. Balloon types: Controlling sharing of state in data types. In Mehmet Akşit and Satoshi Matsuoka, editors, ECOOP’97 Object-Oriented Programming, 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 32–59, Berlin, Heidelberg, New York, 1997. Springer.
Henry G. Baker. ‘Use-once’ variables and linear objects-storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1):45–52, January 1995.
B. Bokowski and J. Vitek. Confined types. In OOPSLA’ 99 Conference Proceedings. ACM, 1999.
Boris Bokowski. Coffeestrainer: Statically-checked constraints on the definition and-use of types in java. In Proceedings of ESEC/FSE’99, Toulouse, France, September 1999.
Boris Bokowski and Markus Dahm. Poor man’s genericity for Java. Presentation at ECOOP’98, http://www.inf.fu-berlin.de/~bokowski/pmgjava/ , 1998
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’98, ACM SIGPLAN Notices, 33, 1998.
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–286, 1997.
D.G. Clarke, R. Shelswell, J.M. Potter, and J. Noble. Object ownership to order. manuscript, 1998.
David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA’ 98 Conference Proceedings, volume 33(10) of ACM SIGPLAN Notices, pages 48–64. ACM, October 1998.
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–81. Springer-Verlag, 1997.
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’98), pages 154–165, October 1998.
Mark Davis. Immutables. Java-Report, 4(4):70–77, April 1999.
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–117, 1998.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
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.
James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.
Roger Henriksson. Scheduling Garbage Collection in Embedded Systems. PhD thesis, Department of Computer Science, Lund University, Sweden, 1998.
C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, (1), 1972.
J. Hogg, D. Lea, A. Wills, D. de Champeaux, and Richard Holt. Report on ECOOP’91 workshop W3: The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2):11–16, 1992.
John Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the OOPSLA’ 91 Conference on Object-oriented Programming Systems, Languages and Applications, pages 271–285, November 1991. Published as ACM SIGPLAN Notices, volume 26, number 11.
William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), December 1992.
Doug Lea. Concurrent Programming in Java-Design Principles and Patterns. Addison Wesley, 1996.
K.R.M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, 1995.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.
Barbara Liskov and John V. Guttag. Abstraction and Specification in Program Development. MIT Press/McGraw-Hill, 1986.
B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, N.Y., 1992.
Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
Naftaly Minsky. Towards alias-free pointers. In Pierre Cointe, editor, ECOOP’96-Object-Oriented Programming, 10th European Conference, volume 1098 of Lecture Notes in Computer Science, pages 189–209, Berlin, Heidelberg, New York, July 1996. Springer.
E. Morel and C. Renvoise. Global optimization by suppression of partial redundancies. Communications of the ACM, 22(2):96–103, February 1979.
P. Müller 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).
Kelvin Nilsen. Reliable Real-Time Garbage Collection of C++. Computing Systems, 7(4):467–504, 1994.
James Noble, Jan Vitek, and John Potter. Flexible alias protection. In Proceedings of ECOOP’98, number 1445 in LNCS, pages 158–185. Springer Verlag, 1998.
Nathaniel John Nystrom. Bytecode level analysis and optimization of Java classes. Master’s thesis, Purdue University, August 1998.
Robert O’Callahan. The design of program analysis services. Technical Report CMU-CS-99-135, Carnegie Mellon University, Pittsburgh, PA 15213, June 1999.
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’99), SIGPLAN Notices 34(7), pages 45–54. ACM Press, 1999.
G. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5(3), 1977.
John Potter, James Noble, and David Clarke. The ins and outs of objects. In Australian Software Engineering Conference (ASWEC), 1998.
William Pugh. Fixing the Java memory model. In ACM Java Grande Conference, 1999.
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–50, January 1998.
Loren Taylor Simpson. Value-Driven Redundancy Elimination. PhD thesis, Rice University, Houston, Texas, April 1996.
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–41, New York, 1996. ACM Press.
Dirk Theisen. Enhancing Encapsulation in OOP-A Practical Approach. Masters thesis, CS Dept. III, University of Bonn, Germany, 1999.
Philip Wadler. Linear types can change the world! In M. Broy and C.B. Jones, editors, Programming Concepts and Methods. Elsevier, North-Holland, 1990.
Phillip Yelland. Models of Modularity: A Study of Object-Oriented Programming. PhD thesis, Cambridge University, Cambridge, U.K., 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noble, J., Vitek, J., Lea, D., Almeida, P.S. (1999). Aliasing in Object Oriented Systems. In: Moreira, A. (eds) Object-Oriented Technology ECOOP’99 Workshop Reader. ECOOP 1999. Lecture Notes in Computer Science, vol 1743. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46589-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-46589-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66954-8
Online ISBN: 978-3-540-46589-8
eBook Packages: Springer Book Archive