Formal Definition of the Parameterized Aspect Calculus 


Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Formal Definition of the Parameterized Aspect Calculus. Technical Report 0312, Dept. of Computer Science, Iowa State University.
There is a later version of this eprint available: Click here to view it. AbstractThis paper gives the formal definition of the parameterized aspect calculus, or &asp . The &asp calculus is a core calculus for the formal study of aspectoriented 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 aspectoriented language features. The calculus exposes a rich join point model on the base language, granting great flexibility to point cut description languages.
Available Versions of This Paper
Contact site administrator at: ssg@cs.iastate.edu 