| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| research [2018/10/16 14:49] – [Software] mtoro | research [2024/05/15 18:55] (current) – [Recent Software] darquez |
|---|
| 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. |
| |
| ==== Software ==== | ==== Recent Software ==== |
| * [[research:software:gsf|GSF]]: Gradual System F. | * [[https://github.com/darquezt/gsoul-lang#readme|GSoul]]: Typescript implementation of GSoul, a gradual sensitivity language. |
| * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type. | * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F. |
| | * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of GSLRef, a gradual language with security typing and references. |
| | * [[research:software:gradual-unions|Gradual Unions]]: Online executable of GTFL, a gradual language with union types and the unknown type. |
| * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction. | * [[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. | |
| | ==== Old Software (not supported anymore, but might still work!) ==== |
| * [[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. |
| * [[effectcaps|Effect Capabilities]]: an effective and flexible manner to control effects and their interferences. Capabilities can be selectively shared between modules to establish secure effect-centric coordinations. | * [[effectcaps|Effect Capabilities]]: an effective and flexible manner to control effects and their interferences. Capabilities can be selectively shared between modules to establish secure effect-centric coordinations. |
| * [[http://pleiad.cl/research/scope|Scoped adaptation]]: a number of projects related to scoping of adaptation (including execution levels for AOP, contextual values, etc.) | * [[http://pleiad.cl/research/scope|Scoped adaptation]]: a number of projects related to scoping of adaptation (including execution levels for AOP, contextual values, etc.) |
| * [[research:software:AspectMaps]]: A scalable visualization of Join Point Shadows. | |
| * [[http://www.pleiad.cl/aspectscript|AspectScript]]: An aspect language for Web programming. | * [[http://www.pleiad.cl/aspectscript|AspectScript]]: An aspect language for Web programming. |
| * [[http://hapao.dcc.uchile.cl|Hapao]]: A test coverage tool using graphical visualization for Pharo | * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP |
| * [[research:software:PHANtom|PHANtom]]: An aspect language for Pharo Smalltalk | |
| * [[research:software:AmbientTalk-Ros|AmbientTalk/Ros]]: An integration of AmbientTalk in [[http://www.ros.org|ROS]]: the Robot Operating System. | |
| * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP [not supported anymore] | |
| |
