Reconciling Software Extensibility with Modular Program Reasoning

Reconciling Software Extensibility with Modular Program Reasoning (2003)

Cached

Download Links

[www.cs.ucla.edu]

by Todd David Millstein

Citations:

7 - 3 self

BibTeX

@TECHREPORT{Millstein03reconcilingsoftware,
    author = {Todd David Millstein},
    title = {Reconciling Software Extensibility with Modular Program Reasoning},
    institution = {},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Citations

4647	Design Patterns: Elements of Reusable Object-Oriented Software - Gamma, Helm, et al. - 1994
1091	Component Software: Beyond Object-Oriented Programming. Adisson-Wesley, 2nd edition - Szyperski - 2003
972	An overview of AspectJ - Kiczales, Hilsdale, et al.
830	A Theory of Objects - Abadi, Cardelli - 1996
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
520	Self: the power of simplicity - Ungar, Smith - 1987
490	A syntactic approach to type soundness - Wright, Felleisen - 1994
475	A Semantics of Multiple Inheritance - Cardelli - 1988
466	Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
388	W.: Mixin-based inheritance - Bracha, Cook - 1990
377	Subject-oriented programming (a critique of pure objects - Harrison, Ossher - 1993
322	Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems - Lieberman
297	Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
239	M.: Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
213	Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995
180	Modules for Standard ML - MacQueen - 1984
174	Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
164	Dynamics class loading in the Java virtual machine - Liang, Bracha - 1998
163	Modular open classes and symmetric multiple dispatch for Java - Clifton, Leavens, et al.
159	Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, et al. - 2003
155	Object-oriented multi-methods in Cecil - Chambers - 1992
150	Local type inference - Pierce, Turner
147	Object-Oriented Programming With Flavors - Moon - 1986
147	Systems Programming with Modula-3 - Nelson, editor - 1991
141	The C++ Programming Language, Third Edition - Stroustrup - 1997
136	Program Fragments, Linking, and Modularization - Cardelli - 1997
131	A calculus for overloaded functions with subtyping - Castagna, Ghelli, et al. - 1995
127	Covariance and contravariance: conflict without a cause - Castagna - 1995
122	M.: Modular object-oriented programming with units and mixins - Findler, Flatt - 1998
120	types can change the world - Linear - 1990
110	Vortex: An optimizing compiler for object-oriented languages - DEAN, DEFOUW, et al. - 1996
104	Regular expression pattern matching for XML - Hosoya, Pierce - 2002
99	Jiazzi: Newage components for old-fashioned Java - McDirmid, Flatt, et al. - 2001
97	Typechecking and modules for multi-methods - Chambers, Leavens - 1994
90	P.: Hyper/J: Multi-dimensional separation of concerns for Java - Ossher, Tarr - 2000
84	Object-Oriented Programming Versus Abstract Data Types - Cook - 1991
80	The design of a class mechanism for moby - Fisher, Reppy - 1999
78	A simple technique for handling multiple polymorphism - Ingalls - 1986
74	Predicate dispatching: A unified theory of dispatch - Ernst, Kaplan, et al. - 1998
74	P.: Type inference with subtypes - Fuh, Mishra - 1988
72	C.B.: The essence of the visitor pattern - Palsberg, Jay - 1998
70	Static type checking of multi-methods - Agrawal, DeMichiel, et al. - 1991
69	Integrating Independently-Developed Components in Object-Oriented Languages - Holzle - 1993
63	Using C++ templates to implement role-based designs - VanHilst, Notkin - 1996
62	The location stack: A layered model for location in ubiquitous computing - Hightower, Brumitt, et al. - 2002
58	The Java Programming Language, Third Edition - Arnold, Gosling, et al. - 2000
58	Parasitic methods: An implementation of multi-methods for java - Boyland, Castagna - 1997
55	Modular statically typed multimethods - Millstein, Chambers - 2002
54	Java Language Specification, Second Edition: The Java Series - Gosling, Joy, et al. - 2007