Towards a type system for detecting never-matching pointcut compositions

Sixth Workshop on Foundations of Aspect-oriented Languages, FOAL'07 was held at the Sixth International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2007, Pages 23-26

  Aotani, Tomoyuki ^a   Masuhara, Hidehiko ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

AOP; Compositions; Pointcut; Records

Indexed keywords

ASPECTJ; POINTCUT; RECORDS; TYPE SYSTEMS;

DATA RECORDING; ENCODING (SYMBOLS); OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548324746     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1233833.1233837     Document Type: Conference Paper

References (19)

1. T. Aotani and H. Masuhara. Scope: an AspectJ compiler for supporting user-defined analysis-based pointcuts. In Proceedings of the 6th International Conference on Aspect-oriented software development, pages 161-172. ACM Press, 2007.
2. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibbie, abc: An extensible AspectJ compiler. In Proceedings of the 4th International Conference on Aspect-Oriented Software Development, pages 87-98. ACM Press, 2005.
3. 1: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming, 63(3):321-374, 2006.
4. R. Douence and L. Teboul. A pointcut language for control-flow. In Proceedings of 3rd ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, pages 95-114. Springer, 2004.
5. M. Eichberg, M. Mezini, and K. Ostermann. Pointcuts as functional queries. In Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, pages 366-381. Springer, 2004.
6. M. Flatt, S. Krishnamurthi, and M. Felleisen. A programmer's reduction semantics for classes and mixins. In Formal Syntax and Semantics of Java, pages 241-269. Springer, 1999.
7. A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pages 137-146. IEEE Computer Society, 2002.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification Second Edition. Addison-Wesley, 2000.
9. K. Gybels and J. Brichau. Arranging language features for more robust pattern-based crosscuts. In Proceedings of the 2nd international conference on Aspect-Oriented Software Development, pages 60-69. ACM Press, 2003.
10. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, 2001.
11. R. Jagadeesan, A. Jeffrey, and J. Riely. Typed parametric polymorphism for aspects. Science of Computer Programming, 2006. to apper.
12. A. Kellens, K. Mens, J. Brichau, and K. Gybels. Managing the evolution of aspect-oriented software with model-based pointcuts. In Proceedings of the 20th European Conference on Object-Oriented Programming, pages 501-525, 2006.
13. G. Kiczales, E. Hilsdale, J. Hugunin, et al. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
14. K. Lieberherr, D. H. Lorenz, and P. Wu. A case for statically executable advice: checking the law of demeter with AspectJ. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 40-49. ACM Press, 2003.
15. H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In Proceedings of the 12th International Conference on Compiler Construction, pages 46-60, 2003.
16. C. Morgan, K. D. Volder, and E. Wohlstadter. A static aspect language for checking design rules. In Proceedings of the 6th International Conference on Aspect-Oriented Software Development, pages 63-72. ACM Press, 2007.
17. K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In Proceedings of the 19th European Conference on Object-Oriented Programming, pages 214-240. Springer, 2005.
18. B. C. Pierce. Types and programming languages. MIT Press, 2002.
19. G. Washburn and S. Weirich. Good advice for type-directed programming aspect-oriented programming and extensible generic functions. In Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, pages 33-44. ACM Press, 2006.