Title :
λ_AOP: An AOP Extended Lambda-Calculus
Author :
Alhadidi, Dima ; Belblidia, Nadia ; Debbabi, Mourad ; Bhattacharya, Prabir
Author_Institution :
Concordia Univ., Montreal
Abstract :
This paper presents an implicitly-typed functional, aspect-oriented programming language: lambda_AOP. The main contribution of the paper is a semantics for lambda_AOP advice weaving. The weaving is type-based and implemented statically. We extend the Hindley-Milner type inference system to inject applicable advices into lambda expressions during typing. The proposed semantics for advice weaving is close to the spirit of Aspect J, the most popular AOP language, where advices are injected before, after, or around points that match their respective pointcuts. For this purpose, the sequence construct of the extended lambda-calculus is used.
Keywords :
inference mechanisms; lambda calculus; object-oriented languages; object-oriented programming; AOP extended lambda-calculus; Hindley-Milner type inference system; advice weaving; aspect-oriented programming language; lambda_AOP; Collaboration; Computer languages; Flow graphs; Functional programming; Runtime; Software engineering; Weaving;
Conference_Titel :
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on
Conference_Location :
London
Print_ISBN :
978-0-7695-2884-7
DOI :
10.1109/SEFM.2007.5
