Team Sardes

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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.


previous
next

Logo Inria