Classes and mixins

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Classes and mixins

Full text

Pdf (1.71 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Diego, California, United States

Pages: 171 - 183

Year of Publication: 1998

ISBN:0-89791-979-3

Authors

Matthew Flatt	Department of Computer Science, Rice University, Houston, Texas
Shriram Krishnamurthi	Department of Computer Science, Rice University, Houston, Texas
Matthias Felleisen	Department of Computer Science, Rice University, Houston, Texas

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 95, Citation Count: 84

Additional Information:

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

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.

	1	Martín Abadi , Luca Cardelli, A Theory of Primitive Objects - Untyped and First-Order Systems, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.296-320, April 19-22, 1994
	2	Martín Abadi , Luca Cardelli, A Theory of Primitive Objects - Scond-Order Systems, Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, p.1-25, April 11-13, 1994
	3	Martín Abadi , Luca Cardelli, An Imperative Object Calculus, Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, p.471-485, May 22-26, 1995
	4	Davide Ancona , Elena Zucca, An Algebraic Approach to Mixins and Modularity, Proceedings of the 5th International Conference on Algebraic and Logic Programming, p.179-193, September 25-27, 1996
	5	BRAVm~, G. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah~ Mar. 1992.
	6	Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
	7	BRdkCHA, G., AND LINDSTROM, G. Modularity meets inheritance. In Proc. IEEE Computer Society International Conference on Computer Languages (Washington, DC, Apr. 1992), IEEE Computer Socie~y~ pp. 282- 290.
	8	William R. Cook, A denotational semantics of inheritance, 1989
	9	DROSSOPOLOU, S., AND EISENBACH, S. Java is typesafc - probably. In Proc. European Conference on Object - Oriented Programming (June 1997).
	10	R. Ducournau , M. Habib , M. Huchard , M. L. Mugnier, Monotonic conflict resolution mechanisms for inheritance, conference proceedings on Object-oriented programming systems, languages, and applications, p.16-24, October 18-22, 1992, Vancouver, British Columbia, Canada
	11	Jonathan Eifrig , Scott Smith , Valery Trifonov , Amy Zwarico, Application of OOP type theory: state, decidability, integration, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.16-30, October 23-28, 1994, Portland, Oregon, United States
	12	FELLEISEN, M. Programming languages and }ambda calculi. URL: uww. cs. rice. edu/'matthias/41I~eb/aono .ps.
	13	Matthias Felleisen , Robert Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science, v.103 n.2, p.235-271, 14 Sept. 1992 [doi>10.1016/0304-3975(92)90014-7]
	14	Robert Bruce Findler , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, DrScheme: A Pedagogic Programming Environment for Scheme, Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education, p.369-388, September 03-05, 1997
	15	FLATT, M. PLT MzScheme: Language manual. Tech. Rep. TR97-280, Rice University, 1997.
	16	FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. Classes and mixins. Tech. Rep. TR97-293, Rice University, 1997.
	17	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	18	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	19	HARPER, It., AND STONE, C. A type-theoretic semantics for Standard ML 19915. Submitted for publication, 1997.
	20	S. Kamin, Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.80-87, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73567]
	21	R. R. Kessler , A. R. Petajan, LISP, objects, and symbolic programming, Scott, Foresman & Co., Glenview, IL, 1988
	22	Timothy Koschmann, The Common Lisp companion, John Wiley & Sons, Inc., New York, NY, 1990
	23	MASON, I. A., AND TALCOTT, C. L. Reasoning about object systems in VTLoE. International Journal of Foundations of Computer Science 6, 3 (Sept. 1995), 265-298.
	24	Uday Reddy, Objects as closures: abstract semantics of object-oriented languages, Proceedings of the 1988 ACM conference on LISP and functional programming, p.289-297, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62721]
	25	Didier Rémy, Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.321-346, April 19-22, 1994
	26	Jonathan G. Rossie, Jr. , Daniel P. Friedman , Mitchell Wand, Modeling Subobject-based Inheritance, Proceedings of the 10th European Conference on Object-Oriented Programming, p.248-274, July 08-12, 1996
	27	Alan Snyder, Inheritance and the development of encapsulated software systems, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
	28	SYMB, D. Proving Java type soundness. Tech. Rep. 427, U~iversity of Cambridge, July 1997.
	29	Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093]

CITED BY 84

	Robert Bruce Findler , Matthew Flatt, Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, v.34 n.1, p.94-104, Jan. 1999
	Shriram Krishnamurthi , Matthias Felleisen, Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.88-98, Nov. 1998
	Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen, Programming languages as operating systems (or revenge of the son of the lisp machine), ACM SIGPLAN Notices, v.34 n.9, p.138-147, Sept. 1999
	Jérôme Vouillon, Combining subsumption and binary methods: an object calculus with views, ACM SIGPLAN Notices, v.36 n.3, p.290-303, March 2001
	Kathi Fisler , Shriram Krishnamurthi, Modular verification of collaboration-based software designs, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Jason Baker , Wilson Hsieh, Runtime aspect weaving through metaprogramming, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands
	David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, ACM SIGPLAN Notices, v.33 n.10, p.48-64, Oct. 1998
	Robert Bruce Findler , Matthias Felleisen, Contract Soundness for object-oriented languages, ACM SIGPLAN Notices, v.36 n.11, p.1-15, 11/01/2001
	Klaus Ostermann , Mira Mezini, Object-oriented composition untangled, ACM SIGPLAN Notices, v.36 n.11, p.283-299, 11/01/2001
	Michael Sperber, Developing a stage lighting system from scratch, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Peter F. Sweeney , Joseph (Yossi) Gil, Space and time-efficient memory layout for multiple inheritance, ACM SIGPLAN Notices, v.34 n.10, p.256-275, Oct. 1999
	Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001
	Cormac Flanagan , Stephen N. Freund, Type-based race detection for Java, ACM SIGPLAN Notices, v.35 n.5, p.219-232, May 2000
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002
	Dominic Duggan , Ching-Ching Techaubol, Modular mixin-based inheritance for application frameworks, ACM SIGPLAN Notices, v.36 n.11, p.223-240, 11/01/2001
	Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Atsushi Igarashi , Benjamin C. Pierce, On inner classes, Information and Computation, v.177 n.1, p.56-89, 25 August 2002
	Mike Fisk , George Varghese, Agile and scalable analysis of network events, Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment, November 06-08, 2002, Marseille, France
	Atshushi Igarashi , Benjamin Pierce , Philip Wadler, Featherwieght Java: a minimal core calculus for Java and GJ, ACM SIGPLAN Notices, v.34 n.10, p.132-146, Oct. 1999
	Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, ACM SIGPLAN Notices, v.33 n.5, p.236-248, May 1998
	Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.641-712, September 2003
	Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira, Ownership types for object encapsulation, ACM SIGPLAN Notices, v.38 n.1, p.213-223, January 2003
	Markus Mohnen, Interfaces with default implementations in Java, Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, June 13-14, 2002, Dublin, Ireland
	Martin Abadi , Cormac Flanagan , Stephen N. Freund, Types for safe locking: Static race detection for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.207-255, March 2006
	Cormac Flanagan , Shaz Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Sean McDirmid , Wilson C. Hsieh, Aspect-oriented programming with Jiazzi, Proceedings of the 2nd international conference on Aspect-oriented software development, p.70-79, March 17-21, 2003, Boston, Massachusetts
	Chandrasekhar Boyapati , Alexandru Salcianu , William Beebee, Jr. , Martin Rinard, Ownership types for safe region-based memory management in real-time Java, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Marko van Dooren , Eric Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Don Batory , Jacob Neal Sarvela , Axel Rauschmayer, Scaling step-wise refinement, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Andrew P. Black , Nathanael Schärli , Stéphane Ducasse, Applying traits to the smalltalk collection classes, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Chandrasekhar Boyapati , Martin Rinard, A parameterized type system for race-free Java programs, ACM SIGPLAN Notices, v.36 n.11, p.56-69, 11/01/2001
	Kathleen Fisher , John Reppy, Inheritance-based subtyping, Information and Computation, v.177 n.1, p.28-55, 25 August 2002
	David S. Goldberg , Robert Bruce Findler , Matthew Flatt, Super and inner: together at last!, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Lorenzo Bettini , Viviana Bono , Silvia Likavec, A core calculus of higher-order mixins and classes, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Nathaniel Nystrom , Stephen Chong , Andrew C. Myers, Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, v.30 n.6, p.355-371, June 2004
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin, Type inference for atomicity, Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, p.47-58, January 10-10, 2005, Long Beach, California, USA
	Christopher A. Stone, Extensible objects without labels, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.805-835, September 2004
	Vugranam C. Sreedhar, Mixin'Up components, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	M. Lumpe , J.-G. Schneider, A form-based meta-model for software composition, Science of Computer Programming, v.56 n.1-2, p.59-78, April 2005
	Lorenzo Bettini , Viviana Bono , Silvia Likavec, Safe and flexible objects, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Environmental Acquisition in Network Management, Proceedings of the 16th USENIX conference on System administration, November 03-08, 2002, Philadelphia, PA
	Stéphane Ducasse , Oscar Nierstrasz , Nathanael Schärli , Roel Wuyts , Andrew P. Black, Traits: A mechanism for fine-grained reuse, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.331-388, March 2006
	Erik Ernst, Safe dynamic multiple inheritance, Nordic Journal of Computing, v.9 n.3, p.191-208, September 2002
	Tom Hirschowitz , Xavier Leroy, Mixin modules in a call-by-value setting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.5, p.857-881, September 2005
	Matthew S. Tschantz , Michael D. Ernst, Javari: adding reference immutability to Java, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Adam Welc , Suresh Jagannathan , Antony Hosking, Safe futures for Java, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Yu David Liu , Scott F. Smith, Interaction-based programming with classages, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Tetsuo Kamina , Tetsuo Tamai, Selective method combination in mixin-based composition, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	DeLesley Hutchins, The power of symmetry: unifying inheritance and generative programming, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006
	Davide Ancona , Elena Zucca, A theory of mixin modules: algebraic laws and reduction semantics, Mathematical Structures in Computer Science, v.12 n.6, p.701-737, December 2002
	Yannis Smaragdakis , Don Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.215-255, April 2002
	Alessandro Warth , Milan Stanojević , Todd Millstein, Statically scoped object adaptation with expanders, ACM SIGPLAN Notices, v.41 n.10, October 2006
	DeLesley Hutchins, Eliminating distinctions of class: using prototypes to model virtual classes, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Nathaniel Nystrom , Xin Qi , Andrew C. Myers, J&: nested intersection for scalable software composition, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Andres Löh , Ralf Hinze, Open data types and open functions, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
	Radha Jagadeesan , Alan Jeffrey , James Riely, Typed parametric polymorphism for aspects, Science of Computer Programming, v.63 n.3, p.267-296, 15 December 2006
	Sonia Fagorzi , Elena Zucca, A Calculus of Components with Dynamic Type-Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 182, p.73-90, June, 2007
	Matan Vax, Conservative aspect-orientated programming with the e language, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Adriaan Moors , Frank Piessens , Wouter Joosen, An object-oriented approach to datatype-generic programming, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	Uwe Zdun , Mark Strembeck , Gustaf Neumann, Object-based and class-based composition of transitive mixins, Information and Software Technology, v.49 n.8, p.871-891, August, 2007
	Pratibha Permandla , Michael Roberson , Chandrasekhar Boyapati, A type system for preventing data races and deadlocks in the java virtual machine language: 1, ACM SIGPLAN Notices, v.42 n.7, July 2007
	Jacob Matthews , Robert Bruce Findler , Paul Graunke , Shriram Krishnamurthi , Matthias Felleisen, Automatically Restructuring Programs for the Web, Automated Software Engineering, v.11 n.4, p.337-364, October 2004
	Don Batory, Feature-Oriented Programming and the AHEAD Tool Suite, Proceedings of the 26th International Conference on Software Engineering, p.702-703, May 23-28, 2004
	Gérard Boudol, The recursive record semantics of objects revisited, Journal of Functional Programming, v.14 n.3, p.263-315, May 2004
	Lorenzo Bettini , Viviana Bono , Marco Naddeo, A trait based re-engineering technique for Java hierarchies, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Erick Gallesio , Manuel Serrano, Programming graphical user interfaces with Scheme, Journal of Functional Programming, v.13 n.5, p.839-866, September 2003
	Davide Ancona , Elena Zucca, A calculus of module systems, Journal of Functional Programming, v.12 n.2, p.91-132, March 2002
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin , Shaz Qadeer, Types for atomicity: Static checking and inference for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-53, July 2008
	Sahil Thaker , Don Batory , David Kitchin , William Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Stéphane Ducasse , Roel Wuyts , Alexandre Bergel , Oscar Nierstrasz, User-changeable visibility: resolving unanticipated name clashes in traits, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Alexandre Bergel , Stéphane Ducasse , Oscar Nierstrasz , Roel Wuyts, Stateful traits and their formalization, Computer Languages, Systems and Structures, v.34 n.2-3, p.83-108, July, 2008
	Gavin M. Bierman , Erik Meijer , Mads Torgersen, Lost in translation: formalizing proposed extensions to c#, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Luigi Liquori , Arnaud Spiwack, Extending FeatherTrait Java with Interfaces, Theoretical Computer Science, v.398 n.1-3, p.243-260, May, 2008
	Luigi Liquori , Arnaud Spiwack, FeatherTrait: A modest extension of Featherweight Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-32, March 2008
	Chieri Saito , Atsushi Igarashi , Mirko Viroli, Lightweight family polymorphism*, Journal of Functional Programming, v.18 n.3, p.285-331, May 2008
	Kevin W. Hamlen , Micah Jones, Aspect-oriented in-lined reference monitors, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security, June 07-13, 2008, Tucson, AZ, USA
	Sven Apel , Christian Kästner , Christian Lengauer, Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Kevin J. Hoffman , Patrick Eugster , Suresh Jagannathan, Semantics-aware trace analysis, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Bryan Chadwick , Karl Lieberherr, A type system for functional traversal-based aspects, Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, March 02-02, 2009, Charlottesville, Virginia, USA
	Christian Grothoff, The Runabout, Software—Practice & Experience, v.38 n.14, p.1531-1560, November 2008
	Tetsuo Kamina , Tetsuo Tamai, Towards safe and flexible object adaptation, International Workshop on Context-Oriented Programming, p.1-6, July 07-07, 2009, Genova, Italy