%% Papers from the FOAL 2002 workshop at AOSD 2002 @InProceedings{Clifton-Leavens02a, Key = {Clifton \& Leavens}, Author = {Curtis Clifton and Gary T. Leavens}, Title = {Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning}, Pages = "33-44", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" } @InProceedings{Filman-Havelund02, Key = {Filman \& Havelund}, Author = {Robert E. Filman and Klaus Havelund}, Title = {Source-Code Instrumentation and Quantification of Events}, Pages = "45-49", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" } @InProceedings{Harrison-Ossher02, Key = {Harrison \& Ossher}, Author = {William Harrison \& Harold Ossher}, Title = {Member-Group Relationships Among Objects}, Pages = "9-16", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" } @InProceedings{Kellomaki02, Key = {Kellom\"{a}ki}, Author = {Pertti Kellom\"{a}ki}, Title = {A Formal Basis for Aspect-Oriented Specification with Superposition}, Pages = "27-32", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" } @InProceedings{Masuhara-Kiczales-Dutchyn02, Key = {Masuhara \& Kiczales \& Dutchyn}, Author = {Kidehiko Masuhara and Gregor Kiczales and Chris Dutchyn}, Title = {Compilation Semantics of Aspect-Oriented Programs}, Pages = "17-26", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" } @InProceedings{Wand-Kiczales-Dutchyn02, Key = {Wand \& Kiczales \& Dutchyn}, Author = {Mitchell Wand and Gregor Kiczales and Chris Dutchyn}, Title = {A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming}, Pages = "1-8", BookTitle = {FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002}, year = 2002, Editor = {Gary T. Leavens and Ron Cytron}, Organization = {Department of Computer Science, Iowa State University}, Series = {Technical Report}, number = {02-06}, month = Apr, URL = "ftp://ftp.cs.iastate.edu/pub/techreports/TR02-06/TR.pdf" }