Publication Date

11-2003

Technical Report Number

TR03-12b

Subjects

Software

Abstract

This paper gives the formal definition of the parameterized aspect calculus, or s_asp . The s_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.

Comments

Copyright © 2003, Curtis Clifton, Gary T. Leavens, and Mitchell Wand, All Rights Reserved.

Share

COinS