Skip to main content
SpringerLink
Log in

Aliasing in Object Oriented Systems

  • Conference paper
  • First Online:
Book cover Object-Oriented Technology ECOOP’99 Workshop Reader (ECOOP 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1743))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996.

    MATH  Google Scholar 

  2. 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.

    Google Scholar 

  3. Henry G. Baker. ‘Use-once’ variables and linear objects-storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1):45–52, January 1995.

    Article  Google Scholar 

  4. B. Bokowski and J. Vitek. Confined types. In OOPSLA’ 99 Conference Proceedings. ACM, 1999.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Boris Bokowski and Markus Dahm. Poor man’s genericity for Java. Presentation at ECOOP’98, http://www.inf.fu-berlin.de/~bokowski/pmgjava/ , 1998

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. D.G. Clarke, R. Shelswell, J.M. Potter, and J. Noble. Object ownership to order. manuscript, 1998.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. Mark Davis. Immutables. Java-Report, 4(4):70–77, April 1999.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.

    Google Scholar 

  18. Roger Henriksson. Scheduling Garbage Collection in Embedded Systems. PhD thesis, Department of Computer Science, Lund University, Sweden, 1998.

    Google Scholar 

  19. C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, (1), 1972.

    Google Scholar 

  20. 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.

    Article  Google Scholar 

  21. 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.

    Article  Google Scholar 

  22. William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), December 1992.

    Google Scholar 

  23. Doug Lea. Concurrent Programming in Java-Design Principles and Patterns. Addison Wesley, 1996.

    Google Scholar 

  24. K.R.M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, 1995.

    Google Scholar 

  25. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.

    Google Scholar 

  26. Barbara Liskov and John V. Guttag. Abstraction and Specification in Program Development. MIT Press/McGraw-Hill, 1986.

    Google Scholar 

  27. B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, N.Y., 1992.

    Google Scholar 

  28. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. E. Morel and C. Renvoise. Global optimization by suppression of partial redundancies. Communications of the ACM, 22(2):96–103, February 1979.

    Article  MATH  MathSciNet  Google Scholar 

  31. 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).

    Google Scholar 

  32. Kelvin Nilsen. Reliable Real-Time Garbage Collection of C++. Computing Systems, 7(4):467–504, 1994.

    MathSciNet  Google Scholar 

  33. 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.

    Google Scholar 

  34. Nathaniel John Nystrom. Bytecode level analysis and optimization of Java classes. Master’s thesis, Purdue University, August 1998.

    Google Scholar 

  35. Robert O’Callahan. The design of program analysis services. Technical Report CMU-CS-99-135, Carnegie Mellon University, Pittsburgh, PA 15213, June 1999.

    Google Scholar 

  36. 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.

    Article  Google Scholar 

  37. G. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5(3), 1977.

    Google Scholar 

  38. John Potter, James Noble, and David Clarke. The ins and outs of objects. In Australian Software Engineering Conference (ASWEC), 1998.

    Google Scholar 

  39. William Pugh. Fixing the Java memory model. In ACM Java Grande Conference, 1999.

    Google Scholar 

  40. 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.

    Article  Google Scholar 

  41. Loren Taylor Simpson. Value-Driven Redundancy Elimination. PhD thesis, Rice University, Houston, Texas, April 1996.

    Google Scholar 

  42. 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.

    Google Scholar 

  43. Dirk Theisen. Enhancing Encapsulation in OOP-A Practical Approach. Masters thesis, CS Dept. III, University of Bonn, Germany, 1999.

    Google Scholar 

  44. Philip Wadler. Linear types can change the world! In M. Broy and C.B. Jones, editors, Programming Concepts and Methods. Elsevier, North-Holland, 1990.

    Google Scholar 

  45. Phillip Yelland. Models of Modularity: A Study of Object-Oriented Programming. PhD thesis, Cambridge University, Cambridge, U.K., 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Research Institute, Australia

    James Noble

  2. Université de Genéve, Genéve

    Jan Vitek

  3. State University of New York at Oswego, New York

    Doug Lea

  4. Universidade do Minho, Minho

    Paulo Sergio Almeida

Authors
  1. James Noble
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Vitek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Doug Lea
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paulo Sergio Almeida
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2825-114, Monte da Caparica, Portugal

    Ana Moreira

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation