Team Sardes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: New Results

Programming Languages

Participants : Alan Schmitt, Jean-Bernard Stefani, Michaël Lienhardt, Claudio Mezzina.

Work has continued on the definition of a type system for the assemblage of communicating components. A first type system was published this year [25] . The paper proves that the type inference problem for this type system is undecidable, and provides a semi-algorithm for type inference. In parallel, we have developed a second, more practical type system with decidable type inference. A first prototype implementation has been developed and has been integrated with the Fractal Toolchain. This implementation has enabled us to check the use of our type analyser on large Dream configurations and to show that the type system can be used with other component models, such as Click. This work is currently submitted for publication.


Logo Inria