Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
research [2013/06/27 16:23] – ifiguero | research [2015/04/30 15:05] – etanter |
---|
For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section. | For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section. |
| |
==== Topics ==== | |
| |
* [[research:Scope]]: Scoping dynamic adaptations | |
* [[research:ADI]]: Aspects, Dependencies and Interactions | |
* [[research:TestCoverage]]: Test Coverage | |
==== Software ==== | ==== Software ==== |
| * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual). |
| * [[research:software:LRP]]: Live Robot Programming is a live programming language for robot behaviors. |
* [[research:software:TOD]]: TOD is a tool that helps understand a program's behavior by recording a trace of the events that occur during execution (method calls, object creation, field access…) and letting the user navigate in predefined and custom views of this trace. | * [[research:software:TOD]]: TOD is a tool that helps understand a program's behavior by recording a trace of the events that occur during execution (method calls, object creation, field access…) and letting the user navigate in predefined and custom views of this trace. |
* [[research:software:Ghosts]]: A IDE tool extension for Eclipse (Java) for supporting incremental programming through automatic and non-intrusive generation of code entities based on their usage; also available for Pharo Smalltalk. | * [[research:software:Ghosts]]: A IDE tool extension for Eclipse (Java) for supporting incremental programming through automatic and non-intrusive generation of code entities based on their usage; also available for Pharo Smalltalk. |
| |
==== Projects ==== | ==== Projects ==== |
| * [[http://real.gforge.inria.fr/|REAL]]: INRIA Associated Team with the ASCOLA group in Nantes. |
| * [[research:plomo2|PLOMO2]]: INRIA Associated Team with the RMOD group in Lille. A continuation of the PLOMO Associated Team. |
* [[research:plomo|PLOMO]]: INRIA Associated Team with the RMOD group in Lille. It is named after [[http://en.wikipedia.org/wiki/Cerro_El_Plomo|cerro El Plomo]], the highest peak (5424 meters) that is visible from Santiago. | * [[research:plomo|PLOMO]]: INRIA Associated Team with the RMOD group in Lille. It is named after [[http://en.wikipedia.org/wiki/Cerro_El_Plomo|cerro El Plomo]], the highest peak (5424 meters) that is visible from Santiago. |
* [[http://rapids.gforge.inria.fr|RAPIDS]]: INRIA Associate Team, with the ASCOLA group in Nantes. RAPIDS stands for Reasoning about Aspect-oriented Programs and securIty in Distributed Systems. | * [[http://rapids.gforge.inria.fr|RAPIDS]]: INRIA Associate Team, with the ASCOLA group in Nantes. RAPIDS stands for Reasoning about Aspect-oriented Programs and securIty in Distributed Systems. |