Next revision | Previous revisionNext revisionBoth sides next revision |
people:etanter:taming-aspects [2013/04/17 19:22] – created etanter | people:etanter:taming-aspects [2013/04/17 19:32] – etanter |
---|
====== Taming Aspects ====== | ====== Taming Aspects ====== |
Éric Tanter | <HTML> |
| <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> |
| </HTML> |
| |
This keynote has been given first 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). |
| |
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)]] |
| |
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. |
| |