15-819 Objects and Aspects: Language Support for Extensible and Evolvable Software

Object-oriented and aspect-oriented languages are relatively new programming technologies that claim to help engineers extend and evolve software more effectively. This seminar will look at recent research developments in objects and aspects, evaluating systems with respect to key criteria:

• What kinds of extensibility does the system provide?
• How does the system aid in reasoning about software?
• How might the system impact engineering practice?

Schedule

References:

• Advanced object-oriented constructs:
  • Craig Chambers.  Object-Oriented Multi-Methods in Cecil. ECOOP '92.
    
  • Ungar and Randall Smith.  Self: the Power of Simplicity.  OOPSLA '87.
    
  • Lee Salzman.  Prototypes with Multiple Dispatch.  CMU senior thesis, May 2004.
    
  • Todd Millstein, Colin Bleckner, and Craig Chambers.  Modular Typechecking for Hierarchically Extensible Datatypes and Functions.  ICFP '02.
  • Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz, and Andrew Black.  Traits: Composable Units of Behavior.  ECOOP '03.
    
  • Yuuji Ichisugi and Akira Tanaka.  Difference-Based Modules: A Class-Independent Module Mechanism.  ECOOP '02.
    
  • Mixin Layers
  • Klaus Ostermann.  Dynamically Composable Collaborations with Delegation Layers.  ECOOP '02.
    
  • Matthias Zenger.  Type-Safe Prototype-Based Component Evolution.  ECOOP '02.
  • Mixin classes/modules (Scala, others?)
  • Moby
  • Meta-object Protocols (e.g., Redmond/Cahill ECOOP '02, Kiczales et al. book)
• Aspects:
  • Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.-M., and Irwin, J. Aspect-Oriented Programming. ECOOP '97.
  • Aspect-Oriented Software Development book
  • Aspect-Oriented Programming is Quantification and Obliviousness
  • An Overview of AspectJ.  ECOOP '01.
  • Hyper/J
  • Composition Filters
  • Demeter/J
  • M. Mezini and K. Ostermann. Variability Management with Feature-Oriented Programming and Aspects. FSE '04.
  • M. Mezini and K. Ostermann. Modules for Crosscutting Models. Invited Paper at 8th International Conference on Reliable Software Technologies, LNCS 2655, Toulouse, France, June 16-20, 2003.  See also AOSD '03 and FSE '04 papers on Ceasar.
  • M. Mezini and K. Ostermann. Integrating Independent Components with On-Demand Remodularisation.  OOPSLA '02.
    
  • Adrian Colyer and Andrew Clement.  Large-Scale AOSD for Middleware. AOSD '04.
  • Yvonne Coady and Gregor Kiczales. Back to the Future: A Retroactive Study of Aspect Evolution in Operating System Code
    In Proceedings of AOSD 2003.
  • Jan Hannemann and Gregor Kiczales. Design Pattern Implementations in Java and AspectJ. In Proc. of OOPSLA, ACM, (2002).
  • Yvonne Coady, Gregor Kiczales, Mike Feeley and Greg Smolyn. Using AspectC to Improve the Modularity of Path-Specific Customization in Operating System Code.  In Proc. of ESEC/FSE, ACM, (2001)
  • Jorg Kienzle and Rachid Guerraoui.  AOP: Does it Make Sense?  The Case of Concurrency and Failures.  ECOOP '02.
  • Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, and Seiichi Komiya.  Association Aspects.  AOSD '04.
    
  • Shigeru Chiba and Kiyoshi Nakagawa.  Josh: An Open AspectJ-like Language.  AOSD '04.
  • Bruno Harbulot and John Gurd.  Using AspectJ to Separate Concerns in Parallel Scientific Java Code.  AOSD '04.
  • Maja D'Hont and Viviane Jonckers.  Hybrid Aspects for Weaving Object-Oriented Functionality and Rule-Based Knowledge.  AOSD '04.
  • Remi Douence, Pascal Fradet, and Mario Sudholt.  Composition, Reuse, and Interaction Analysis of Stateful Aspects.  AOSD '04.
    
• Object type systems:
  • Eric Ernst.  Family Polymorphism.  ECOOP '02.
  • Vassily Litvinov.  Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System. OOPSLA '98.
    
  • Rob DeLine and Manuel Fahndrich.  Typestates for Objects.  ECOOP '04.
  • Peter Canning et al.  F-Bounded Polymorphism for Object-Oriented Programming. 
    
  • James Noble.  Flexible Alias Protection.  ECOOP '98.
  • Didier Remy.  Type Inference for Records in a Natural Extension of ML.
    
  • Jonathan Aldrich and Craig Chambers.  Ownership Domains: Separating Aliasing Policy from Mechanism.  ECOOP '04.
    
  • Self-typing/Matching
    
  • Foundational Models of Ownership
  • Ownership's applications
  • Dave Clarke and Tobias Wrigstad.  External Uniqueness is Unique Enough.  ECOOP '03.
    
  • Uniqueness
  • Atsushi Igarashi and Mirko Viroli.  On Variance-Based Subtypine for Parametric Types.  ECOOP '02.
  • Jonathan Aldrich.  Using Types to Enforce Architectural Structure.  Submitted for publication.
  • Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann; Simple Dependent Types: Concord. Workshop on Formal Techniques for Java-like Programs at ECOOP 2004
    
• Formal models of objects and aspects
• Featherweight Java
• Abadi & Cardelli
• Rewriting-based object formalisms
  
• Martin Odersky, Vincent Cremet, Christine Rockl, and Matthias Zenger.  A Nominal Theory of Objects with Dependent Types.  ECOOP '03.
  
• Walker et al.  Aspects.
  
• Reasoning principles for objects and aspects
• Open Modules
  
• K. Rustan M. Leino and Peter Muller.  Object Invariants in Dynamic Contexts.  ECOOP '04.
  
• K. Rustan M. Leino.  Data Groups: Specifying the Modification of Extended State.  OOPSLA '98.
• K. Rustan M. Leino.  Using Data Groups to Specify and Check Side Effects. PLDI '02.
  
• Aspect-Aware Interfaces
  
• Behavioral Subtyping
  

Prerequisites

Requirements