TS: an optimizing compiler for smalltalk

Abstract

TS (Typed Smalltalk) is a portable optimizing compiler that produces native machine code for a typed variant of Smalltalk, making Smalltalk programs much faster. This paper describes the structure of TS, the kinds of optimizations that it performs, the constraints that it places upon Smalltalk, the constraints placed upon it by an interactive programming environment, and its performance.

References

1. Atk86 Robert G. Atkinson. Hurricane: an optimizing compiler for Smailtalk. In Proceedings of OOPSLA '86, Object-Oriented Programming Systems, Languages and Applications, pages 151-166, November 1986. printed as SIGPLAN Notices, 21(11).
2. BMW86 Mark B. Ballard, David Maier, and Allen Wirfs-Brock. QUICKTALK: a Smalltalk- 80 dialect for defining primitive methods. In Proceedings of OOPSLA c86, Object. Oriented Programming Systems, Languages and Applications, pages 140-150, November 1986. printed as SIGPLAN Notices, 21(11).
3. CW86 Patrick J. Caudill and Allen Wirfs- Brock. A third generation Smalltalk- 80 implementation. In Proceedings of OOPSLA '86, Object.Oriented Programming Systems, Languages and Applications, pages 119-130, November 1986. printed as SIGPLAN Notices, 21(11).
4. DF80 Jack W. Davidson and Christopher W. Fraser. The design and application of a retargetable peephole optimizer. A GM Transactions on Programming Languages and Systems, 2(2):191-202, April 1980.
5. DS83 L. Peter Deutsch and Allan M. Schiffman. Efficient implementation of the Smalltalk-80system. In Conference Record of the Tenth Annual A CM Symposium on Principles of Programming Languages, pages 297-302, 1983.
6. Gol84 Adele Goldberg. Smalltalk-80: The Interactive Programming Environment. Addison-Wesley, Reading, Massachusetts, 1984.
7. GR83 Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Massachusetts, 1983.
8. Gra86 Justin Graver. Adding Type Speci}ication and Type-Checking Capabilities to Smalltalk-80. Master's thesis, University of Illinois at Urbana-Champaign, 1986.
9. JG87 Ralph E. Johnson and Justin O. Graver. A User's Guide to Typed Smalltalk. Technical Report, Department of Computer Science, University of Illinois st Urbana- Champaign, 1304 West Springfield, Urbana, Illinois, 1987.
10. Joh86 Ralph E. Johnson. Type-checking Smalltalk. In Proceedings of OOPSLA '86, Object.Oriented Programming Systems, Languages and Applications, pages 315- 321, November 1986. printed as SIGPLAN Notices, 21(11).
11. Loy88 Joseph Loyall. High-level Optimization in a Typed SmaUtalk Compiler. Master's thesis, University of Illinois at Urbana- Champaign, 1988.
12. SUH86 A. Dain Samples, David Ungar, and Paul Hilfinger. SOAR: Smalltalk without bytecodes. In Proceedings of OOP- SLA '86, Object-Oriented Programming Systems, Languages and Applications, pages 107-118, November 1986. printed as SIGPLAN Notices, 21(11).
13. Whi87 James Robert Whitledge. An Interface for an Optimizer in the Highly Interactive Environment of Smalltalk. Master's thesis, University of illinois at Urbana- Champaign, 1987.
14. Wie87 john David Wiegand. An Object-oriented Code Optimizer and Generator. Master's thesis, University of Illinois, Urbana- Champaign, 1987.

Index Terms

• Software and its engineering

  • Software notations and tools

    • Compilers

    • General programming languages

      • Language types