Formal Definition of the Parameterized Aspect Calculus
				  by
	 Curtis Clifton,  Gary T. Leavens, and Mitchell Wand

			       Abstract

This paper gives the formal definition of the parameterized aspect
calculus, or \sigma_asp. The \sigma_asp calculus is a core calculus
for the formal study of aspect-oriented programming languages. The
calculus consists of a base language, taken from Abadi and Cardelli's
object calculus, and point cut description language. The calculus is
parameterized to accept a variety of point cut description languages,
simplifying the study of a variety of aspect-oriented language
features. The calculus exposes a rich join point model on the base
language, granting great flexibility to point cut description
languages.

Keywords: Parameterized aspect calculus, object calculus, join point
model, point cut description language, aspect-oriented programming,
AspectJ, advice, HyperJ, hyperslices, DemeterJ, adaptive methods