Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:plomo [2013/09/21 11:46]
stef [Work Package Two Achievements: A Domain-Specific Language for Change and Event Tracking]
research:plomo [2013/09/21 12:04] (current)
stef [Other Achievements]
Line 57: Line 57:
  
 ==== Work Package One Achievements: Opal Open Compiler Infrastructure ==== ==== Work Package One Achievements: Opal Open Compiler Infrastructure ====
-The compiler framework was used as the basis to build a type system for Pharo: Gradualtalk [Alle13a]. A gradually-typed Smalltalk allows one to enable incremental typing of existing programs. The main design goal of the type system is to support the features of the Smalltalk language, like metaclasses and blocks, live programming, and to accomodate the programming idioms used in practice. We studied a number of existing projects in order to determine the features to include in the type system. As a result, Gradualtalk is a practical approach to gradual types in Smalltalk, with a novel blend of type system features that accomodate most programming idioms.+The compiler framework was used  to build a type system for Pharo: Gradualtalk [Alle13a]. A gradually-typed Smalltalk allows one to enable incremental typing of existing programs. The main design goal of the type system is to support the features of the Smalltalk language, like metaclasses and blocks, live programming, and to accommodate the programming idioms used in practice. We studied a number of existing projects in order to determine the features to include in the type system. As a result, Gradualtalk is a practical approach to gradual types in Smalltalk, with a novel blend of type system features that accommodate most programming idioms.
  
 In the context of the Gradualtalk type system, we have further developed, debugged and released the compiler framework. Opal has been integrated as the new compiler for Pharo [Bera13a]. It is stable, robust and is the new default compiler for day to day development in Pharo3. Opal provides the basis for many new features in Pharo3 and provides a new foundation for building new layers such as an In the context of the Gradualtalk type system, we have further developed, debugged and released the compiler framework. Opal has been integrated as the new compiler for Pharo [Bera13a]. It is stable, robust and is the new default compiler for day to day development in Pharo3. Opal provides the basis for many new features in Pharo3 and provides a new foundation for building new layers such as an
Line 177: Line 177:
 === Startups Using our Results === === Startups Using our Results ===
  
-  - [[http://www.synectique.eu|Synectique]] is a company delivering dedicated software analysis. Synectique uses Roassal to visually report the analysis of customer source code. The founding process started in 2012, and is expected to be finished in 2013.+  - [[http://www.synectique.eu|Synectique]] is a company delivering dedicated software analyses. Synectique uses Roassal to visually report customer source code analysis. The founding process started in 2012, and the company was created in June 2013.
   - [[http://objectprofile.com|ObjectProfile]] was founded in 2011 in Chile. Its business plan is essentially focused on Pharo and Roassal. Object Profile offers support of its products to RMoD and Synectique. A number of features of Roassal have been designed to meet Synectique's requirements (e.g., the navigation and scrolling options).   - [[http://objectprofile.com|ObjectProfile]] was founded in 2011 in Chile. Its business plan is essentially focused on Pharo and Roassal. Object Profile offers support of its products to RMoD and Synectique. A number of features of Roassal have been designed to meet Synectique's requirements (e.g., the navigation and scrolling options).
 ===== Research Visits  ===== ===== Research Visits  =====