Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
people:etanter:taming-aspects [2013/04/17 19:24] – etanterpeople:etanter:taming-aspects [2013/04/18 13:46] – etanter
Line 1: Line 1:
 ====== Taming Aspects ====== ====== Taming Aspects ======
 +<HTML> 
 +<center> 
 +<a href="http://pleiad.dcc.uchile.cl/people/etanter/taming-aspects"> 
 +<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). 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).
  
Line 12: Line 20:
  
 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.
-