loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
An AOP Extended Lambda-Calculus
London, England
September 10-September 14
ISBN: 0-7695-2884-8
ASCII Text
x 
 
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya, "An AOP Extended Lambda-Calculus," Software Engineering and Formal Methods, IEEE International Conference on, pp. 183-194, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2007.5,
author = {Dima Alhadidi and Nadia Belblidia and Mourad Debbabi and Prabir Bhattacharya},
title = {An AOP Extended Lambda-Calculus},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2884-8},
pages = {183-194},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.5},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - An AOP Extended Lambda-Calculus
SN - 0-7695-2884-8
SP183
EP194
A1 - Dima Alhadidi,
A1 - Nadia Belblidia,
A1 - Mourad Debbabi,
A1 - Prabir Bhattacharya,
PY - 2007
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Dima Alhadidi, Concordia University, Canada
Nadia Belblidia, Concordia University, Canada
Mourad Debbabi, Concordia University, Canada
Prabir Bhattacharya, Concordia University, Canada
This paper presents an implicitly-typed functional, aspect-oriented programming language: AOP. The main contribution of the paper is a semantics for 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 AspectJ, 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 calculus is used.
Citation:
Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya, "An AOP Extended Lambda-Calculus," sefm, pp.183-194, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.