References

1

O. Agesen, J. Palsberg, and M. Schwartzbach. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In Proceedings of ECOOP '93, 1993.

2

Jennifer M. Anderson, Saman P. Amarasinghe, and Monica S. Lam. Data and computation transformations for multiprocessors. In Proceedings of Fifth Symposium on Principles and Practice of Parallel Programming, 1995.

3

Apple Computer Inc. The NewtonScript Programming Language, December 1995. Available online from ftp://ftpdev.info.apple.com/ Developer_Services/ Newton_ Development/ DOCS_PDF/ NSCRIPTR.ZIP.

4

A. Black, N. Hutchinson, E. Jul, and H. Levy. Object structure in the emerald system. In Proceedings of OOPSLA '86, pages 78-86. ACM, September 1986.

5

Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying differences between C and C++ programs. Technical Report CU-CS-698-94, University of Colorado, Boulder, January 1994.

6

C. Chambers and D. Ungar. Iterative type analysis and extended message splitting. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 150-60, 1990.

7

Craig Chambers. The Cecil language: Specification and rationale, version 2.0. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, Washington, March 1995.

8

Andrew Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, and Xingbin Zhang. Supporting high level programming with high performance: The illinois concert system. In Proceedings of the Second International Workshop on High-level Parallel Programming Models and Supportive Environments, April 1997.

9

Andrew A. Chien, Uday S. Reddy, John Plevyak, and Julian Dolby. ICC++ - a C++ dialect for high-performance parallel computation. In Proceedings of the 2nd International Symposium on Object Technologies for Advanced Software, March 1996.

10

Jeffrey Dean, Craig Chambers, and David Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN '95 Conference on Programmin g Language Design and Implementation, pages 93-102, La Jolla, CA, June 1995.

11

Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.

12

Tim Freeman and Frank Pfenning. Refinement types for ml. In Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1991.

13

Adele Goldberg and David Robson. Smalltalk-80: The language and its implementation. Addison-Wesley, 1985.

14

H. Mossenbock. Object-Oriented Programming in Oberon-2. Springer-Verlag, 1993.

15

Cordelia Hall, Simon L. Peyton-Jones, and Patrick M. Sansom. Functional Programming, Glasgow 1994, chapter Unboxing Using Specialization. Workshops in Computing Science. Springer-Verlag, 1995.

16

Urs Hölzle, Craig Chambers, and David Ungar. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In ECOOP'91 Conference Proceedings. Springer-Verlag, 1991. Lecture Notes in Computer Science 512.

17

Urs Hölzle and David Ungar. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 326-336, June 1994.

18

Norman C. Hutchinson. Emerald: An Object-Based Language for Distributed Programming. PhD thesis, University of Washington, Department of Computer Science, Seattle, Washington, 1987. TR-87-01-01.

19

Xavier Leroy. Unboxed objects and polymorphic typing. In Proceedings of the 19th Symposium on the Principles of Programming Languages, pages 177-188, 1992.

20

N. Wirth and J. Gutknecht. Project Oberon: The Design of an Operating System and Compiler. Addison Wesley, 1992.

21

J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Proceedings of OOPSLA '91, pages 146-61, 1991.

22

John Plevyak. Optimization of Object-Oriented and Concurrent Programs. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, 1996.

23

John Plevyak and Andrew A. Chien. Precise concrete type inference of object-oriented programs. In Proceedings of OOPSLA'94, Object-Oriented Programming Systems, Languages and Architectures, pages 324-340, 1994.

24

John Plevyak and Andrew A. Chien. Type directed cloning for object-oriented programs. In Proceedings of the Workshop for Languages and Compilers for Parallel Computing, pages 566-580, 1995.

25

Zhong Shao, John H. Reppy, and Andrew W. Appel. Unrolling lists. In ACM Conference on Lisp and Functional Programming, June 1994.

26

Olin Shivers. Topics in Advanced Language Implementation, chapter Data-Flow Analysis and Type Recovery in Scheme, pages 47-88. MIT Press, Cambridge, MA, 1991.

27

Sun Microsystems Computer Corporation. The Java Language Specification, March 1995. Available at http://java.sun.com/ 1.0alpha2/ doc/ java-whitepaper.ps.

28

Gregory V. Wilson and Paul Lu, editors. Parallel Programming Using C++. MIT Press, 1995.

29

Micheal E. Wolf and Monica S. Lam. A data locality optimizing algorithm. In Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1991.