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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Special issue on aspect-oriented programming. Communications of the ACMÂ 44(10) (October 2001)
Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: Getting started with Aspect J. Communications of the ACM 44(10), 59–73 (2001)
Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
Prasad, D.M., Chaudhari, B.D.: Type System and Advicve Composition Semantics of an AOP Language. Technical report. Computer Science and Engineering Department, MNNIT, Allahabad (January 2004)
Cardelli, L.: Type Systems. In: CRC Handbook of Computer Science and Engineering, 2nd edn., Ch. 97. CRC Press, Boca Raton
Hilsdale, E., Hugunin, J.: Advice Weaving in AspectJ. In: Third International Conference on Aspect-Oriented Software Development (April 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prasad, M.D., Chaudhary, B.D. (2004). A Type System for an Aspect Oriented Programming Language. In: Ghosh, R.K., Mohanty, H. (eds) Distributed Computing and Internet Technology. ICDCIT 2004. Lecture Notes in Computer Science, vol 3347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30555-2_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-30555-2_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24075-4
Online ISBN: 978-3-540-30555-2
eBook Packages: Computer ScienceComputer Science (R0)