Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
people:etanter:taming-aspects [2013/04/17 19:23]
etanter
people:etanter:taming-aspects [2013/04/18 13:47] (current)
etanter
Line 1: Line 1:
-=====Taming Aspects ====== +<HTML> 
-Éric Tanter  +<center> 
- +<a href="http://pleiad.dcc.uchile.cl/people/etanter/taming-aspects"> 
-This keynote has been given  at [[http://program-transformation.org/GPCE12/|GPCE 2012]] in Germany, and at [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]] in Japan (in a slightly updated version).+<img src="http://pleiad.dcc.uchile.cl/_media/events/talks/taming.png" 
 +border="0" alt="Taming Aspects" title="Taming Aspects" height=200/> 
 +</a> 
 +</center> 
 +</HTML> 
 +\\ 
 +I gave this keynote at [[http://program-transformation.org/GPCE12/|GPCE 2012]] in Germany, and at [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]] in Japan (in a slightly updated version).
  
-Links: 
   * [[http://pleiad.dcc.uchile.cl/_media/events/talks/tanter-taming-aspects.mov|mov (23MB)]]   * [[http://pleiad.dcc.uchile.cl/_media/events/talks/tanter-taming-aspects.mov|mov (23MB)]]
   * [[http://pleiad.dcc.uchile.cl/_media/events/talks/tanter-taming-aspects.pdf|pdf (43MB)]]    * [[http://pleiad.dcc.uchile.cl/_media/events/talks/tanter-taming-aspects.pdf|pdf (43MB)]] 
   * {{bib>tanter-varicomp2013|Extended abstract}} in the VariComp'13 proceedings   * {{bib>tanter-varicomp2013|Extended abstract}} in the VariComp'13 proceedings
  
-----+ 
 +====== Taming Aspects ======
  
 **Abstract.** Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide a means for quantifying over execution events in order to implicitly trigger advice. Notably, an advice is more than a simple event handler because of its ability to override the underlying computation. Unrestricted quantification and arbitrary advice computation are powerful but dangerous. **Abstract.** Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide a means for quantifying over execution events in order to implicitly trigger advice. Notably, an advice is more than a simple event handler because of its ability to override the underlying computation. Unrestricted quantification and arbitrary advice computation are powerful but dangerous.
  
 In this talk we look at a number of approaches to tame aspects in order to retain their benefits without sacrificing important software engineering properties, like modular reasoning, separate development, type soundness, and controlled interferences. Specifically, we report on our work in scoping, interfaces, types, and effects. In this talk we look at a number of approaches to tame aspects in order to retain their benefits without sacrificing important software engineering properties, like modular reasoning, separate development, type soundness, and controlled interferences. Specifically, we report on our work in scoping, interfaces, types, and effects.
-