Formal Definition of the Parameterized Aspect Calculus
Curtis Charles Clifton, Gary T. Leavens, Mitchell Wand · Iowa State University Digital Repository (Iowa State University) · 2003
This paper gives the formal definition of the parameterized aspect calculus, or ςasp. The ς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. 1