A formal framework for a functional language with adaptable components

Authors:
Pascal Coupey;Christophe Fouqueré
Affiliations:
Université Paris, Villetaneuse, France;Université Paris, Villetaneuse, France
Venue:
Proceedings of the 2011 ACM Symposium on Applied Computing
Year:
2011

Citing 2
Cited 0

Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Types for dynamic reconfiguration

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a component programming language called FLAC, Functional Language for Adaptable Components, on top of a functional programming language which authorizes full adaptability of components while ensuring type safety. The langage is given together with a type system that offers a complete static type ckecking of any programs (including adaptations) to ensure error-free run-time adaptations. Dynamic adaptability and static type checking might seem at first sight paradoxical, but our approach allows it because, first, we use a single language for traditional services and control services (i.e., services for adaptations), and secondly, a specific merge operation takes care of adaptations.