FOAL 2002 Proceedings

Foundations of Aspect-Oriented Languages

- Workshop at AOSD 2002 -

April 22, 2002
Enschede, The Netherlands

Cover Page, Table of Contents, Preface

A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming  [postscript]
    Mitchell Wand, Northeastern University
    Gregor Kiczales, University of British Columbia
    Chris Dutchyn, University of British Columbia

Member-Group Relationships Among Objects
    William Harrison,  IBM T.J. Watson Research
    Harold Ossher, IBM T.J. Watson Research

Compilation Semantics of Aspect-Oriented Programs
    Hidehiko Masuhara,  University of Tokyo
    Gregor Kiczales, University of British Columbia
    Chris Dutchyn, University of British Columbia

A Formal Basis for Aspect-Oriented Specification with Superposition
    Pertti Kellomäki,  Tampere University of Technology

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning [postscript]
    Curtis Clifton,  Iowa State University
    Gary T. Leavens, Iowa State University

Source-Code Instrumentation and Quantification of Events
    Robert E. Filman,  NASA Ames Research Center
    Klaus Havelund, NASA Ames Research Center