Unification des couleurs dans un lambda-calcul polychrome

National audienceDans cet article nous étendons le lambda-calcul bi-chrome présenté aux JFLA 2012 pour y introduire la polychromie. On définit une nouvelle transformation, par beta-expansion, qui regroupe les expressions de même couleur, chaque couleur pouvant représenter une unité de calcul. On ne se contente plus de pouvoir expliciter la localité d'un calcul dans un modèle à deux couleurs comme pour les clients-serveurs mais nous pouvons traiter les applications multi-tiers. Les propriétés de correction, de terminaison et de confluence de cette nouvelle transformation sont démontrées à l'aide de Coq

Eliom: A core ML language for Tierless Web programming

International audienceEliom is a dialect of OCaml for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single distributed program, in which it is possible to define in a composable way reusable widgets with both server and client behaviors. Our language also enables simple and type-safe communication. Eliom matches the specificities of the Web by allowing the programmer to interleave client and server code while maintaining efficient one-way server-to-client communication. The Eliom language is both sufficiently small to be implemented on top of an existing language and sufficiently powerful to allow expressing many idioms of Web programming. In this paper, we present a formalization of the core language of Eliom. We provide a type system, the execution model and a compilation scheme

Séparation des couleurs dans un lambda-calcul bichrome

National audienceDans cet article nous introduisons un λ-calcul bichrome pour expliciter une partie de l'évaluation d'un terme en précisant la localité du calcul1. L'intérêt est alors de pouvoir définir une transformation, par β-expansion, qui regroupe les expressions de même couleur. Les propriétés de correction, de terminaison et de confluence de cette transformation sont démontrées 'a l'aide de l'assistant de preuves Coq. Cette transformation est indépendante de la sémantique de communication et de synchronisation de l'application. On s'intéresse alors aux applications utilisant deux unités de calcul comme les couples client-serveur de la programmation Web. Nous abordons le passage à un λ-calcul à plus de deux couleurs et montrons les difficultés que cela engendre

RAPP System Architecture

International audience— Robots are fast becoming a part of everyday life. This rise can be evidenced both through the public news and announcements, as well as in recent literature in the robotics scientific communities. This expanding development requires new paradigms in producing the necessary software to allow for the users' particular needs. In this paper we present a novel architectural design of the RAPP framework that attempts to address this issue, developed within the context of the EU funded project RAPP "Robotic Applications for Delivering Smart User Empowering Application". The proposed framework has been designed aiming towards a cloud-based approach to integrating robotic devices and their respective applications. This goal was defined going beyond the up-coming trends in infrastructures, and focusing on alternative approaches to conventional robotic controllers, while at the same time expanding the capabilities of the RAPP framework in a seamless and scaling manner

Unification des couleurs dans un lambda-calcul polychrome

National audienceDans cet article nous étendons le lambda-calcul bi-chrome présenté aux JFLA 2012 pour y introduire la polychromie. On définit une nouvelle transformation, par beta-expansion, qui regroupe les expressions de même couleur, chaque couleur pouvant représenter une unité de calcul. On ne se contente plus de pouvoir expliciter la localité d'un calcul dans un modèle à deux couleurs comme pour les clients-serveurs mais nous pouvons traiter les applications multi-tiers. Les propriétés de correction, de terminaison et de confluence de cette nouvelle transformation sont démontrées à l'aide de Coq