Skip to main content
SpringerLink
Log in

Compiling Java to a typed lambda-calculus: A preliminary report

  • Conference paper
  • First Online:
Types in Compilation (TIC 1998)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., and Cardelli, L. A Theory of Objects. Springer-Verlag, 1996.

    Google Scholar 

  2. Abadi, M., Cardelli, L., and Viswanathan, R. An Interpretation of Objects and Object Types. In Proceedings of the Conference on Principles of Programming Languages (1996), pp. 392–406.

    Google Scholar 

  3. Appel, A. W. Compiling with Continuations. Cambridge University Press, 1991.

    Google Scholar 

  4. Bacon, D., and Sweeney, P. Fast static analysis of C++ virtual function calls. OOPSLA’96 Conference on Object-Oriented Programming Systems, Languages, and Applications (1996).

    Google Scholar 

  5. Bruce, K. B., Cardelli, L., and Pierce, B. C. Comparing Object Encodings. In Theoretical Aspects of Computer Software (TACS), Sendai, Japan (Sept. 1997).

    Google Scholar 

  6. Chambers, C. The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Stanford University, March 1992.

    Google Scholar 

  7. Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. TOPLAS 13, 4 (October 1991), 451–490.

    Article  Google Scholar 

  8. Dean, J., DeFouw, G., Grove, D., Litvinov, V., and Chambers, C. Vortex: An optimizing compiler for object-oriented languages. OOPSLA’96 Conference on Object-Oriented Programming Systems, Languages, and Applications (1996), 83–100.

    Google Scholar 

  9. Dean, J., Grove, D., and Chambers, C. Optimization of object-oriented programs using static class hierarchy analysis. ECOOP (1995).

    Google Scholar 

  10. Diwan, A., Moss, E., and McKinley, K. Simple and effective analysis of statically-typed object-oriented programs. OOPSLA’96 Conference on ObjectOriented Programming Systems, Languages, and Applications (1996).

    Google Scholar 

  11. Fernandez, M. F. Simple and effective link-time optimization of modula-3 programs. Proceedings of the Conference on Programming Language Design and Implementation (1995), 103–115.

    Google Scholar 

  12. Hölzle, U., and Agesen, O. Dynamic versus static optimization techniques for object-oriented languages. OOPSLA’95 Conference on Object-Oriented Programming Systems, Languages, and Applications (1995).

    Google Scholar 

  13. Kranz, D., Kelsey, R., Rees, J. A., Hudak, P., Philbin, J., and Adams, N. I. Orbit: An optimizing compiler for scheme. ACM SIGPLAN Conference Proceedings (1986).

    Google Scholar 

  14. Palsberg, J., and Schwartzbach, M. I. Object-oriented type inference. 00PSLA ’91 Conference on Object-Oriented Programming Systems, Languages, and Applications (1991), 146–161.

    Google Scholar 

  15. Peyton-Jones, S., Launchbury, J., Shields, M., and Tolmach, A. Briding the gulf: A common intermediate language for ML and Haskell. In Proceedings of the Conference on Principles of Programming Languages (1998), ACM Press, pp. 49–61.

    Google Scholar 

  16. Pierce, B. C., and Turner, D. N. Simple type-theoretic foundations for objectoriented programming. Journal of Functional Programming 4, 2 (Apr. 1994), 207–247. A preliminary version appeared in Principles of Programming Languages, 1993, and as University of Edinburgh technical report ECS-LFCS-92-225, under the title “Object-Oriented Programming Without Recursive Types”.

    Article  MATH  Google Scholar 

  17. Plevyak, J., and Chien, A. A. Precise concrete type inference for object-oriented languages. OOPSLA ’94 Object-Oriented Programming Systems, Language, and Applications (1994), 324–340.

    Google Scholar 

  18. Shao, Z. Flexible Representation Analysis. In Proceedings of the International Conference on Functional Programming (1997), ACM Press, pp. 85–98.

    Google Scholar 

  19. Steele Jr., G. L. Rabbit: a compiler for scheme. Master’s thesis, Massachusetts Institute of Technology, May 1977.

    Google Scholar 

  20. Tarditi, D., Morrisett, G., Cheng, P., Stone, C, Harper, R., and Lee, P. TIL: A Type-Directed Optimizing Compiler for ML. In Proceedings of the Conference on Programming Language Design and Implementation (1996), ACM Press, pp. 181–192.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. STAR Laboratory, InterTrust Technologies Corp., 460 Oakmead Parkway, 94086, Sunnyvale, CA

    Andrew Wright

  2. NEC Research Institute, 4 Independence Way, 08540, Princeton, NJ

    Suresh Jagannathan & Cristian Ungureanu

  3. Media Research Laboratory, New York University, 715 Broadway, 10003, NewYork, NY

    Aaron Hertzmann

Authors
  1. Andrew Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Suresh Jagannathan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Cristian Ungureanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Aaron Hertzmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Xavier Leroy Atsushi Ohori

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wright, A., Jagannathan, S., Ungureanu, C., Hertzmann, A. (1998). Compiling Java to a typed lambda-calculus: A preliminary report. In: Leroy, X., Ohori, A. (eds) Types in Compilation. TIC 1998. Lecture Notes in Computer Science, vol 1473. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055510

Download citation

  • DOI: https://doi.org/10.1007/BFb0055510

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64925-0

  • Online ISBN: 978-3-540-68308-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation