Summary: Statically-Scoped Exceptions:
a Typed Foundation for Aspect-Oriented Error
Neel Krishnaswami and Jonathan Aldrich
Institute for Software Research International
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
This report was originally published on the web in January 2004.
This work was supported in part by the High Dependability Computing Program from
NASA Ames cooperative agreement NCC-2-1298 and NSF grant CCR-0204047.
Keywords: statically-scoped exceptions, aspect-oriented programming
Aspect-oriented programming systems such as AspectJ provide mechanisms
for modularizing crosscutting error-handling concerns. However, AspectJ's
advice does not integrate well with Java's checked exception mechanism.
Furthermore, conventional exception-handling facilities such as AspectJ's