A Formal Framework for a Functional Language with Adaptable Components

Pascal Coupey (1) , Christophe Fouqueré (1)

1 LIPN - Laboratoire d'Informatique de Paris-Nord

We propose a component programming language called FLAC, {\em 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.

Mots clés: Component Programming; Typing

Domaines: Logique en informatique [cs.LO]; Langage de programmation [cs.PL]

Pascal Coupey, Christophe Fouqueré. A Formal Framework for a Functional Language with Adaptable Components. 2010. ⟨hal-00530860⟩