A type system for an aspect oriented programming language

Authors:
M. Devi Prasad;Banshi Dhar Chaudhary
Affiliations:
MNNIT, Allahabad, Uttar Pradesh, India;MNNIT, Allahabad, Uttar Pradesh, India
Venue:
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Year:
2004

Citing 3
Cited 0

Getting started with ASPECTJ

Communications of the ACM
Types and programming languages

Types and programming languages
Advice weaving in AspectJ

Proceedings of the 3rd international conference on Aspect-oriented software development

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a type system for pointcut designators (pcds) and advice forms of an aspect oriented programming langauge The type system classifies pcds as static, dynamic and implausible based on the static type information of the join points selected by the pcds Typing the pcds assists in statically restricting the applicability of around advice to procedure call and procedure execution join points This enables better reasoning about the behavior of around advice.