Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Object Technologies for Advanced Software

ISOTAS 1996: Object Technologies for Advanced Software pp 250–259Cite as

Synergies between object-oriented programming language design and implementation research

  • Invited Talk
  • Conference paper
  • First Online:

  • 185 Accesses

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

Abstract

By pursuing language design and language implementation research in parallel, interactions between the two research areas can be exploited to make faster, better progress in both. We report on our experiences working on the Cecil language design project and the Vortex optimizing compiler project, highlighting how each project has encouraged and challenged the other.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ole Agesen. The Cartesian Product Algorithm. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '95), Århus, Denmark, August 1995.

    Google Scholar 

  2. Ole Agesen and Urs Hölzle. Type Feedback vs. Concrete Type Analysis: A Comparison of Optimization Techniques for Object-Oriented Languages. In Proceedings of the 1995 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), Austin, TX, October 1995.

    Google Scholar 

  3. Dylan, an Object-Oriented Dynamic Language. Apple Computer, April 1992.

    Google Scholar 

  4. D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, D. A. Moon. Common Lisp Object System Specification X3J13. In SIGPLAN Notices 23(Special Issue), September 1988.

    Google Scholar 

  5. Craig Chambers and David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, pp. 150–164, White Plains, NY, June 1990. Published as SIGPLAN Notices 25(6), June 1990. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June 1991.

    Google Scholar 

  6. Craig Chambers. Object-Oriented Multi-Methods in Cecil. In ECOOP '92 Conference Proceedings, pp. 33–56, Utrecht, the Netherlands, June/July 1992. Published as Lecture Notes in Computer Science 615, Springer-Verlag, Berlin, 1992.

    Google Scholar 

  7. Craig Chambers. The Cecil Language: Specification and Rationale. Technical report #93-03-05, Department of Computer Science and Engineering, University of Washington, March 1993.

    Google Scholar 

  8. Craig Chambers. Predicate Classes. In ECOOP '93 Conference Proceedings, pp. 268–296, Kaiserslautern, Germany, July 1993. Published as Lecture Notes in Computer Science 707, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  9. Craig Chambers and Gary T. Leavens. Typechecking and Modules for Multi-Methods. In OOPSLA '94 Conference Proceedings, pp. 1–15, Portland, OR, October 1994. Published as SIGPLAN Notices 29(10), October 1994. An expanded version appears in technical report #94-03-01, Department of Computer Science and Engineering, University of Washington, March 1994.

    Google Scholar 

  10. Craig Chambers, Jeffrey Dean, and David Grove. A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. In Proceedings of the 17th International Conference on Software Engineering (ICSE '95), pp. 221–230, Seattle, WA, April 1995.

    Google Scholar 

  11. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '95), Århus, Denmark, August 1995.

    Google Scholar 

  12. Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.

    Google Scholar 

  13. David Grove. The Impact of Interprocedural Class Analysis on Optimization. In Proceedings of CASCON '95, pp. 195–203, Toronto, Canada, November 1995.

    Google Scholar 

  14. David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-Guided Receiver Class Prediction. In Proceedings of the 1995 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), Austin, TX, October 1995.

    Google Scholar 

  15. Urs Hölzle and David Ungar. Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. In Proceedings of the S1GPLAN '94 Conference on Programming Language Design and Implementation, pp. 326–336, Orlando, FL, June 1994. Published as SIGPLAN Notices 29(6), June 1994.

    Google Scholar 

  16. B. B. Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. The BETA Programming Language. In Research Directions in Object-Oriented Programming, MIT Press, Cambridge, MA, 1987.

    Google Scholar 

  17. Bertrand Meyer. Eiffel: The Language. Prentice Hall, New York, 1992.

    Google Scholar 

  18. Greg Nelson, editor. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1991.

    Google Scholar 

  19. Stephen Omohundro. The Sather 1.0 Specification. Unpublished manual, June 1993.

    Google Scholar 

  20. John Plevyak and Andrew A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In OOPSLA '94 Conference Proceedings, pp. 324–340, Portland, OR, October 1994. Published as SIGPLAN Notices 29(10), October 1994.

    Google Scholar 

  21. Craig Schaffert, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment, Language Reference Manual. Technical report DEC-TR-372, November 1985.

    Google Scholar 

  22. Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Kilian, and Carrie Wilpolt. An Introduction to Trellis/Owl. In OOPSLA '86 Conference Proceedings, pp. 9–16, Portland, OR, September 1986. Published as SIGPLAN Notices 21(11), November 1986.

    Google Scholar 

  23. Guy L. Steele Jr. Common Lisp: The Language (Second Edition). Digital Press, Bedford, MA, 1990.

    Google Scholar 

  24. Bjarne Stroustrup. The C++ Programming Language (Second Edition). Addison-Wesley, Reading, MA, 1991.

    Google Scholar 

  25. Sun Microsystems. The Java Language Specification. Unpublished manual, May 1995.

    Google Scholar 

  26. David Ungar and Randall B. Smith. Self: The Power of Simplicity. In OOPSLA '87 Conference Proceedings, pp. 227–241, Orlando, FL, October 1987. Published as SIGPLAN Notices 22(12), December 1987. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of Washington, Box 352350, 98195-2350, Seattle, WA, USA

    Craig Chambers

Authors
  1. Craig Chambers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kokichi Futatsugi Satoshi Matsuoka

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chambers, C. (1996). Synergies between object-oriented programming language design and implementation research. In: Futatsugi, K., Matsuoka, S. (eds) Object Technologies for Advanced Software. ISOTAS 1996. Lecture Notes in Computer Science, vol 1049. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60954-7_54

Download citation

  • DOI: https://doi.org/10.1007/3-540-60954-7_54

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60954-4

  • Online ISBN: 978-3-540-49747-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation