Sifting out the gold

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Sifting out the gold: delivering compact applications from an exploratory object-oriented programming environment

Full text

Pdf (1.67 MB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications table of contents

Portland, Oregon, United States

Pages: 355 - 370

Year of Publication: 1994

ISBN:0-89791-688-3

Also published in ...

Authors

Ole Agesen	Computer Science Department, Stanford University, Stanford, CA
David Ungar	Sun Microsystems Laboratories, 2550 Garcia Ave, Mountain View, CA

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 21, Citation Count: 18

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/191080.191135 What is a DOI?

ABSTRACT

Integrated, dynamically-typed object-oriented programming environments offer many advantages, but have trouble producing small, self-contained applications. Recent advances in type inference have made it possible to build an application extractor for Self. The extractor was able to extract a medium-sized application in a few minutes. The extracted application runs in a tenth the space of the original environment. Except for extracting reflection and sends with computed selectors, the extractor runs without human intervention and fully preserves the behavior of the application.

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.

	Agesen 1994	Agesen, O. Constraint-Based Type Inference and Parametric Polymorphism. To be presented at International Static Analysis Symposium (SAS'94), Namur, Belgium, September 28-30, 1994.
	Agesen et al. 1993	Ole Agesen , Jens Palsberg , Michael I. Schwartzbach, Type Inference of SELF, Proceedings of the 7th European Conference on Object-Oriented Programming, p.247-267, July 26-30, 1993
	Boreczky & Rowe 1993	John Boreczky, Building common Lisp applications with reasonable performance, ACM SIGPLAN Lisp Pointers, v.VI n.3, p.20-29, July-Sept 1993
	Borning & Ingalls 1982	Alan H. Borning , Daniel H. H. Ingalls, A type declaration and inference system for smalltalk, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-141, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582168]
	Chambers & Ungar 1991	Craig Chambers , David Ungar, Making pure object-oriented languages practical, Conference proceedings on Object-oriented programming systems, languages, and applications, p.1-15, October 06-11, 1991, Phoenix, Arizona, United States
	Deutsch & Schiffman 1984	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]
	Digitalk 1993	Smalltalk/V for Win32 Programming, Reference Manual, Chapter 17: "Object Libraries and Library Builder," Digitalk Inc., 1993.
	Hölzle & Ungar 1994	Urs Hölzle , David Ungar, Optimizing dynamically-dispatched calls with run-time type feedback, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.326-336, June 20-24, 1994, Orlando, Florida, United States
	Palsberg & Schwartzbach 1993	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type systems, John Wiley and Sons Ltd., Chichester, UK, 1994
	ParcPlace 1992	ObjectWorks Smalltalk User's Guide. Release 4.1, Section 16: "Deploying an Application," Section 28: "Binary Object Streaming Service,". ParcPlace Systems, 1992.
	Plevyak & Chien 1993	John Plevyak , Andrew A. Chien, Incremental inference of concrete types, University of Illinois at Urbana-Champaign, Champaign, IL, 1993
	Sanella et al. 1993	Michael Sannella , John Maloney , Bjorn Freeman-Benson , Alan Borning, Multi-way versus one-way constraints in user interfaces: experience with the DeltaBlue algorithm, Software—Practice & Experience, v.23 n.5, p.529-566, May 1993 [doi>10.1002/spe.4380230507]
	Srivastava 1992	Amitabh Srivastava, Unreachable procedures in object-oriented programming, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.4, p.355-364, Dec. 1992 [doi>10.1145/161494.161517]
	Ungar & Smith 1987	David Ungar , Randall B. Smith, Self: The power of simplicity, Conference proceedings on Object-oriented programming systems, languages and applications, p.227-242, October 04-08, 1987, Orlando, Florida, United States
	White 1994	White, J. L., Private conversation, February, 1994.

CITED BY 18

	Frank Tip , Chris Laffra , Peter F. Sweeney , David Streeter, Practical experience with an application extractor for Java, ACM SIGPLAN Notices, v.34 n.10, p.292-305, Oct. 1999
	Gregor Snelting , Frank Tip, Reengineering class hierarchies using concept analysis, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.99-110, Nov. 1998
	Peter F. Sweeney , Frank Tip, A study of dead data members in C++ applications, ACM SIGPLAN Notices, v.33 n.5, p.324-332, May 1998
	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
	Gregor Snelting , Frank Tip, Understanding class hierarchies using concept analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.540-582, May 2000
	Peter F. Sweeney , Frank Tip, Extracting library-based object-oriented applications, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.98-107, Nov. 2000
	Bjorn De Sutter , Bruno De Bus , Koen De Bosschere , Saumya Debray, Combining Global Code and Data Compaction, ACM SIGPLAN Notices, v.36 n.8, p.29-38, Aug. 2001
	Frank Tip , Peter F. Sweeney, Class hierarchy specialization, ACM SIGPLAN Notices, v.32 n.10, p.271-285, Oct. 1997
	Frank Tip , Peter F. Sweeney , Chris Laffra , Aldo Eisma , David Streeter, Practical extraction techniques for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.625-666, November 2002
	Frank Tip , Peter F. Sweeney , Chris Laffra, Extracting library-based Java applications, Communications of the ACM, v.46 n.8, August 2003
	Thomas Wrensch , Jonathan Schifman, An introduction to fly: a smaller smalltalk, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Frank Tip , Jong-Deok Choi , John Field , G. Ramalingam, Slicing class hierarchies in C++, ACM SIGPLAN Notices, v.31 n.10, p.179-197, Oct. 1996
	Bjorn De Sutter , Bruno De Bus , Koen De Bosschere, Sifting out the mud: low level C++ code reuse, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Bjorn De Sutter , Bruno De Bus , Koen De Bosschere, Link-time binary rewriting techniques for program compaction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.5, p.882-945, September 2005
	David Ungar , Adam Spitz , Alex Ausch, Constructing a metacircular Virtual machine in an exploratory programming environment, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
	Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen, The when, why and why not of the BETA programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.10-1-10-57, June 09-10, 2007, San Diego, 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
	Jens Palsberg , Christina Pavlopoulou, From Polyvariant flow information to intersection and union types, Journal of Functional Programming, v.11 n.3, p.263-317, May 2001