Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
research [2015/08/30 23:50] – etanter | research [2018/10/16 11:49] – [Software] mtoro |
---|
| |
==== Software ==== | ==== Software ==== |
| * [[research:software:gsf|GSF]]: Gradual System F. |
| * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type. |
| * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction. |
* [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual). | * [[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:LRP]]: Live Robot Programming is a live programming language for robot behaviors. |
* [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP [not supported anymore] | * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP [not supported anymore] |
| |
==== 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. | |
* [[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. | |
* [[research:corea|CoReA]]: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits. Stic-AMSUD collaboration project between PLEIAD, LIFIA (UNLP, La Plata, Argentina) and RMOD (INRIA, Lille, France) | |
* [[research:cordial|CORDIAL]]: Concurrency, Distribution and Interactions in Aspect Languages. INRIA/CONICYT collaboration project between PLEIAD and the OBASCO project from INRIA France. | |
* [[Research:Projects:ORION]]: Open Reflective Infrastructure for Open Networks. Jointly funded by the Flemish Government and the Center for Web Research as part of a general programme for bilateral scientific collaboration, the ORION project spans the Vrije Universiteit Brussel and the Universidad de Chile. | |
* [[http://gridcomp.ercim.org/|GridCOMP]]: a spin-off from the european CoreGRID Network of Excellence, this project aims at developing and experimenting new programming models for Grid Computing. The project involves both academic and industrial partners. | |