Ralph E. Johnson, Richard P. Gabriel
Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2005.

@proceedings{OOPSLA-2005,
	address       = "San Diego, California, USA",
	editor        = "Ralph E. Johnson and Richard P. Gabriel",
	isbn          = "1-59593-031-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2005,
}

Contents (32 items)

6 ×#java
6 ×#named
5 ×#using
4 ×#object-oriented
4 ×#programming
3 ×#architecture
3 ×#modelling
2 ×#abstraction
2 ×#analysis
2 ×#component

OOPSLA-2005-JarviWL #constraints #object-oriented

Associated types and constraint propagation for mainstream object-oriented generics (JJ, JW, AL), pp. 1–19.

OOPSLA-2005-KennedyR #algebra #data type #object-oriented #programming

Generalized algebraic data types and object-oriented programming (AK, CVR), pp. 21–40.

OOPSLA-2005-OderskyZ #abstraction #component #scalability

Scalable component abstractions (MO, MZ), pp. 41–57.

OOPSLA-2005-SridharanGSB #analysis #java #points-to

Demand-driven points-to analysis for Java (MS, DG, LS, RB), pp. 59–76.

OOPSLA-2005-NandaGC #type system

Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.

OOPSLA-2005-GilM #java

Micro patterns in Java code (JYG, IM), pp. 97–116.

OOPSLA-2005-PaceC #architecture #modelling #named #object-oriented #tool support

ArchMatE: from architectural styles to object-oriented models through exploratory tool support (JADP, MRC), pp. 117–132.

OOPSLA-2005-ZdunA #design pattern #modelling #using

Modeling architectural patterns using architectural primitives (UZ, PA), pp. 133–146.

OOPSLA-2005-OanceaW #architecture #component #morphism #parametricity #polymorphism

Parametric polymorphism for software component architectures (CEO, SMW), pp. 147–166.

OOPSLA-2005-SangalJSJ #architecture #dependence #modelling #using

Using dependency models to manage complex software architecture (NS, EJ, VS, DJ), pp. 167–176.

OOPSLA-2005-BergelDN #java #named

Classbox/J: controlling the scope of change in Java (AB, SD, ON), pp. 177–189.

OOPSLA-2005-LiuS #programming

Interaction-based programming with classages (YDL, SFS), pp. 191–209.

OOPSLA-2005-TschantzE #java #named

Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.

OOPSLA-2005-GrayFF #contract #fine-grained

Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.

OOPSLA-2005-KojarskiL #aspect-oriented #composition #design

Pluggable AOP: designing aspect mechanisms for third-party composition (SK, DHL), pp. 247–263.

OOPSLA-2005-BalabanTF #library #migration #refactoring

Refactoring support for class library migration (IB, FT, RMF), pp. 265–279.

OOPSLA-2005-HauswirthDSM #automation #profiling

Automating vertical profiling (MH, AD, PFS, MCM), pp. 281–296.

OOPSLA-2005-ArnoldWR #performance #repository #using #virtual machine

Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.

OOPSLA-2005-HertzB #garbage collection #memory management #performance

Quantifying the performance of garbage collection vs. explicit memory management (MH, EDB), pp. 313–326.

OOPSLA-2005-ShankarSBS #analysis #runtime

Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.

OOPSLA-2005-AllanACHKLMSST #aspectj

Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.

OOPSLA-2005-MartinLL #fault #query #security #using

Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.

OOPSLA-2005-GoldsmithOA #query #relational

Relational queries over program traces (SG, RO, AA), pp. 385–402.

OOPSLA-2005-AhernY #formal method #java

Formalising Java RMI with explicit code mobility (AA, NY), pp. 403–422.

OOPSLA-2005-GregorL #algorithm #graph #parallel

Lifting sequential graph algorithms for distributed-memory parallel computation (DG, AL), pp. 423–437.

OOPSLA-2005-WelcJH #java

Safe futures for Java (AW, SJ, ALH), pp. 439–453.

OOPSLA-2005-DoorenS #exception #flexibility #robust #using

Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations (MvD, ES), pp. 455–471.

OOPSLA-2005-LiuSGRL #abstraction

Incrementalization across object abstraction (YAL, SDS, MG, TR, YEL), pp. 473–486.

OOPSLA-2005-CuneiV #flexibility #framework #named

PolyD: a flexible dispatching framework (AC, JV), pp. 487–503.

OOPSLA-2005-Edwards #named #programming

Subtext: uncovering the simplicity of programming (JE), pp. 505–518.

OOPSLA-2005-CharlesGSDKEPS #approach #clustering #named #object-oriented

X10: an object-oriented approach to non-uniform cluster computing (PC, CG, VAS, CD, AK, KE, CvP, VS), pp. 519–538.

OOPSLA-2005-Vanderburg #agile #process #programming

A simple model of agile software processes — or — extreme programming annealed (GV), pp. 539–545.