TS: an optimizing compiler for smalltalk

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

TS: an optimizing compiler for smalltalk

Full text

Pdf (941 KB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Conference proceedings on Object-oriented programming systems, languages and applications table of contents

San Diego, California, United States

Pages: 18 - 26

Year of Publication: 1988

ISBN:0-89791-284-5

Also published in ...

Authors

Ralph E. Johnson	Department of Computer Science, University of Illinois, Urbana-Champaign
Justin O. Graver	Department of Computer Science, University of Illinois, Urbana-Champaign
Laurance W. Zurawski	Department of Computer Science, University of Illinois, Urbana-Champaign

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 33, Citation Count: 37

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/62083.62086 What is a DOI?

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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Atk86	Robert G. Atkinson, Hurricane: an optimizing compiler for Smalltalk, Conference proceedings on Object-oriented programming systems, languages and applications, p.151-158, September 29-October 02, 1986, Portland, Oregon, United States
	BMW86	Mark B. Ballard , David Maier , Allen Wirfs-Brock, QUICKTALK: a Smalltalk-80 dialect for defining primitive methods, Conference proceedings on Object-oriented programming systems, languages and applications, p.140-150, September 29-October 02, 1986, Portland, Oregon, United States
	CW86	Patrick J. Caudill , Allen Wirfs-Brock, A third generation Smalltalk-80 implementation, Conference proceedings on Object-oriented programming systems, languages and applications, p.119-130, September 29-October 02, 1986, Portland, Oregon, United States
	DF80	Jack W. Davidson , Christopher W. Fraser, The Design and Application of a Retargetable Peephole Optimizer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.191-202, April 1980 [doi>10.1145/357094.357098]
	DS83	L. Peter Deutsch , Allan M. Schiffman, Efficient implementation of the smalltalk-80 system, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.297-302, January 15-18, 1984, Salt Lake City, Utah, United States [doi>10.1145/800017.800542]
	Gol84	Adele Goldberg, SMALLTALK-80: the interactive programming environment, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
	GR83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	Gra86	Justin Graver. Adding Type Speci}ication and Type-Checking Capabilities to Smalltalk-80. Master's thesis, University of Illinois at Urbana-Champaign, 1986.
	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.
	Joh86	Ralph E. Johnson, Type-checking Smalltalk, Conference proceedings on Object-oriented programming systems, languages and applications, p.315-321, September 29-October 02, 1986, Portland, Oregon, United States
	Loy88	Joseph Loyall. High-level Optimization in a Typed SmaUtalk Compiler. Master's thesis, University of Illinois at Urbana- Champaign, 1988.
	SUH86	A. Dain Samples , David Ungar , Paul Hilfinger, SOAR: Smalltalk without bytecodes, Conference proceedings on Object-oriented programming systems, languages and applications, p.107-118, September 29-October 02, 1986, Portland, Oregon, United States
	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.
	Wie87	john David Wiegand. An Object-oriented Code Optimizer and Generator. Master's thesis, University of Illinois, Urbana- Champaign, 1987.

CITED BY 37

	Dan Ingalls , Ted Kaehler , John Maloney , Scott Wallace , Alan Kay, Back to the future: the story of Squeak, a practical Smalltalk written in itself, ACM SIGPLAN Notices, v.32 n.10, p.318-326, Oct. 1997
	Jeffrey Dean , Greg DeFouw , David Grove , Vassily Litvinov , Craig Chambers, Vortex: an optimizing compiler for object-oriented languages, ACM SIGPLAN Notices, v.31 n.10, p.83-100, Oct. 1996
	Fritz Henglein, Global tagging optimization by type inference, ACM SIGPLAN Lisp Pointers, v.V n.1, p.205-215, Jan. 1992
	Craig Chambers , David Ungar, Interactive type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs, ACM SIGPLAN Notices, v.25 n.6, p.150-164, Jun. 1990
	C. Chambers , D. Ungar , E. Lee, An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes, ACM SIGPLAN Notices, v.24 n.10, p.49-70, Oct. 1989
	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States
	Eric Dujardin , Eric Amiel , Eric Simon, Fast algorithms for compressed multimethod dispatch table generation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.1, p.116-165, Jan. 1998
	Urs Hölzle , Craig Chambers , David Ungar, Debugging optimized code with dynamic deoptimization, ACM SIGPLAN Notices, v.27 n.7, p.32-43, July 1992
	W. H. Harrison , P. F. Sweeney , J. J. Shilling, Good news, bad news: experience building software development environment using the object-oriented paradigm, ACM SIGPLAN Notices, v.24 n.10, p.85-94, Oct. 1989
	Carl McConnell , Ralph E. Johnson, Using static single assignment form in a code optimizer, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.152-160, June 1992
	P. S. Canning , W. R. Cook , W. L. Hill , W. G. Olthoff, Interfaces for strongly-typed object-oriented programming, ACM SIGPLAN Notices, v.24 n.10, p.457-467, Oct. 1989
	Ole Agesen , Urs Hölzle, Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages, ACM SIGPLAN Notices, v.30 n.10, p.91-107, Oct. 17, 1995
	B. Foote , R. E. Johnson, Reflective facilities in Smalltalk-80, ACM SIGPLAN Notices, v.24 n.10, p.327-335, Oct. 1989
	Bowen Alpern , Anthony Cocchi , Stephen Fink , David Grove, Efficient implementation of Java interfaces: Invokeinterface considered harmless, ACM SIGPLAN Notices, v.36 n.11, p.108-124, 11/01/2001
	David Grove , Greg DeFouw , Jeffrey Dean , Craig Chambers, Call graph construction in object-oriented languages, ACM SIGPLAN Notices, v.32 n.10, p.108-124, Oct. 1997
	Rebecca J. Wirfs-Brock , Ralph E. Johnson, Surveying current research in object-oriented design, Communications of the ACM, v.33 n.9, p.104-124, Sept. 1990
	Craig Chambers , David Ungar, Making pure object-oriented languages practical, ACM SIGPLAN Notices, v.26 n.11, p.1-15, Nov. 1991
	S. S. Walther , R. L. Peskin, Strategies for scientific prototyping in Smalltalk, ACM SIGPLAN Notices, v.24 n.10, p.159-167, Oct. 1989
	C. Chambers , D. Ungar, Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language, ACM SIGPLAN Notices, v.24 n.7, p.146-160, July 1989
	David Grove, A comparison of algorithms for interprocedural class analysis, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.13, November 12-14, 1996, Toronto, Ontario, Canada
	Gilad Bracha , David Griswold, Strongtalk: typechecking Smalltalk in a production environment, ACM SIGPLAN Notices, v.28 n.10, p.215-230, Oct. 1, 1993
	Craig Chambers , Weimin Chen, Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, v.34 n.10, p.238-255, Oct. 1999
	William R. Cook, Interfaces and specifications for the Smalltalk-80 collection classes, ACM SIGPLAN Notices, v.27 n.10, p.1-15, Oct. 1992
	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom
	Eric Amiel , Olivier Gruber , Eric Simon, Optimizing multi-method dispatch using compressed dispatch tables, ACM SIGPLAN Notices, v.29 n.10, p.244-258, Oct. 1994
	Justin O. Graver , Ralph E. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.136-150, December 1989, San Francisco, California, United States
	Alan M. Durham , Ralph E. Johnson, A framework for run-time systems and its visual programming language, ACM SIGPLAN Notices, v.31 n.10, p.406-420, Oct. 1996
	Greg DeFouw , David Grove , Craig Chambers, Fast interprocedural class analysis, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.222-236, January 19-21, 1998, San Diego, California, United States
	Craig Chambers , David Ungar, A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language", ACM SIGPLAN Notices, v.39 n.4, April 2004
	David Grove , Craig Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.6, p.685-746, November 2001
	David Ungar , Randall B. Smith , Craig Chambers , Urs Hölzle, Object, Message, and Performance: How they Coexist in Self, Computer, v.25 n.10, p.53-64, October 1992
	Kazuki Yasumatsu , Norihisa Doi, SPiCE: A System for Translating Smalltalk Programs Into a C Environment, IEEE Transactions on Software Engineering, v.21 n.11, p.902-912, November 1995
	Craig Chambers , David Ungar, A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language", ACM SIGPLAN Notices, v.39 n.4, April 2004
	Kim Hazelwood , David Grove, Adaptive online context-sensitive inlining, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, March 23-26, 2003, San Francisco, California
	Bowen Alpern , Anthony Cocchi , David Grove, Dynamic type checking in jalapeño, Proceedings of the Java^TM Virtual Machine Research and Technology Symposium on Java^TM Virtual Machine Research and Technology Symposium, p.4-4, April 23-24, 2001, Monterey, California
	David Ungar , Randall B. Smith, Self, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.9-1-9-50, June 09-10, 2007, San Diego, California
	Shang Lujun, Cluster: an informal report, ACM SIGPLAN Notices, v.26 n.1, p.57-74, Jan. 1991