9:10AM: 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
10:10AM: Discussion, possibly some 10 minute talks
10:30AM: Break
11:00AM: Member-Group
Relationships Among Objects
William Harrison, IBM T.J. Watson Research
Harold Ossher, IBM T.J. Watson Research
11:30AM: Compilation Semantics of Aspect-Oriented
Programs
Hidehiko Masuhara, University of Tokyo
Gregor Kiczales, University of British Columbia
Chris Dutchyn, University of British Columbia
12:30PM: Lunch
2:00PM: A Formal Basis for Aspect-Oriented Specification
with Superposition
Pertti Kellomäki, Tampere University
of Technology
2:30PM: Observers and Assistants: A Proposal
for Modular Aspect-Oriented Reasoning [postscript]
Curtis Clifton, Iowa State University
Gary T. Leavens, Iowa State University
3:30AM: Break
4:00PM: Source-Code Instrumentation and
Quantification of Events
Robert E. Filman, NASA Ames Research Center
Klaus Havelund, NASA Ames Research Center
4:30PM: More 10 minute talks by participants or discussion
5:00PM - 6:00PM: General Discussion