Hop and HipHop : Multitier Web Orchestration

Rich applications merge classical computing, client-server concurrency, web-based interfaces, and the complex time- and event-based reactive programming found in embedded systems. To handle them, we extend the Hop web programming platform by HipHop, a domain-specific language dedicated to event-based process orchestration. Borrowing the synchronous reactive model of Esterel, HipHop is based on synchronous concurrency and preemption primitives that are known to be key components for the modular design of complex reactive behaviors. HipHop departs from Esterel by its ability to handle the dynamicity of Web applications, thanks to the reflexivity of Hop. Using a music player example, we show how to modularly build a non-trivial Hop application using HipHop orchestration code.Comment: International Conference on Distributed Computing and Internet Technology (2014

L'informatique oblige à repenser la classification des sciences : questions à Gilles Dowek. On a longtemps confondu l'informatique avec ses usages, questions à Gérard Berry ; propos recueillis par Dominique Chouchan

National audienceL'informatique est-elle une science ? Discipline encore jeune, une soixantaine d'années d'existence seulement, son statut épistémologique se démarque de celui des sciences plus anciennes

Towards Coq-verified Esterel Semantics and Compiling

This paper focuses on semantics of the Esterel synchronous programming language. In particular, in addition to the usual behavioral (CBS) and state (CSS) semantics, it introduces a novel microstep semantics which does not need the Can potential function. Formal proofs in Coq of the equivalence between the CBS and CSS semantics and of the refinement between the CSS and microstep semantics are also provided

The chemical abstract machine

Weintroducea new kind of abstract machine based on the chemical metaphor used in the G language of Banatre & al. States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent l-calculus out of the basic concepts of the chemical machine

Algorithmes, machines et langages

Enseignement Cours et séminaires – Esterel de A à Z Introduction Ce cours a présenté en détail le langage de programmation synchrone Esterel, déjà décrit de façon succincte dans deux séances en 2012-2013. Esterel est destiné aux systèmes réactifs, c’est-à-dire aux systèmes informatisés capables de réagir au temps et aux événements provenant de l’extérieur en étant soumis à des contraintes de temps de réponse. Ces systèmes se trouvent en particulier dans l’informatique embarquée destinée à con..

On the definition of lambda-calculus models

Résumé disponible dans les fichiers attaché

Programming a digital watch in Esterel v3

Disponible dans les fichiers attachés à ce documen

Real time programming : special purpose or general purpose languages

Disponible dans les fichiers attachés à ce documen

Some syntactic and categorical constructions of lambda-calculus models

Résumé disponible sur le PD

Some syntactic and categorical constructions of lambda-calculus models

Résumé disponible sur le PD