Year 2004

Christian Queinnec. Continuations and web servers. Higher-Order and Symbolic Computation, 17(4):277-295, December 2004.

Abstract:

Programming web applications in direct style with the help of continuations is a much simpler, safer, modular and better-performing technology than the current dominating ``page-centric'' technology combining CGI scripts, active pages or servlets. This paper discusses the use of continuations in the context of web applications, the problems they solve as well as some new problems they introduce.

Grégory Haïk, Jean-Pierre Briot, and Christian Queinnec. Program mobility for numerical simulation frameworks -- a formal study. Soumis, April 2004.

Abstract:

This paper presents a formal study of automatic partitioning - or introduction of mobility - in the domain of Distributed Numerical Simulation Frameworks. Applied to this domain, mobility introduction consists in the following: in order to ease efficiency constraints on the design of numerical data interfaces, slices of programms are remotely executed on the hosts where data is located, so that a number of remote interactions are transformed into the same number of local interactions. This technique enables the designer of data interfaces to always provide the finest grain of inter-component interaction - which means a high level of component reusability - without sacrificing the efficiency of the distributed application. This paper presents a formal model of mobility introduction for distributed systems and demonstrates a soundness theorem of such a transformation.

Christian Queinnec. Serveur de cédérom. Soumis à TICE 2004, April 2004.

Abstract:

Fournir, sur un cédérom, des documents et des logiciels appropriés pour un enseignement est insuffisant pour permettre un véritable travail à distance. Cet article se fonde sur quatre années d'expérimentation de production de cédéroms pour l'enseignement de langages de programmation. Il décrit la notion de « serveur de cédérom » rendant dynamique et interactif un contenu a priori passif. L'article recense les fonctionnalités attendues ainsi que les contraintes techniques sous-jacentes (authentification notamment) et propose, enfin, des standards pour la communication entre les différents composants évoqués.

Anne Brygoo, Titou Durand, Maryse Pelletier, Christian Queinnec, and Michèle Soria. Programmation récursive (en Scheme). Dunod, December 2004. [See also]

Christian Queinnec. Cours d'environnement de développement, 2004. Bandes-sons des cours en amphithéâtre cf. http://www-licence.ufr-info-p6.jussieu.fr/ lmd/licence/2005/ue/prec-2005oct/. [See also]

Christian Queinnec. Cours d'implantation d'un langage de programmation, 2004. Bandes-sons des cours en amphithéâtre cf. http://www.infop6.jussieu.fr/lmd/2004/master/ue/ilp-2004oct/qnc/. [See also]

Christian Queinnec. Site ouèbe de la licence d'informatique, 2004. cf. http://www.infop6.jussieu.fr/lmd/licence/. [See also]

Christian Queinnec. Cédérom VideoScm 2004 -- LI101, 2004. cf. http://www.infop6.jussieu.fr/cederoms/VideoScm2004/. [See also]

Christian Queinnec. Programmation récursive, 2004. Vidéo enrichie du cours en amphithéâtre cf. http://www.edu.upmc.fr/info/queinnec_05001/. [See also]

Christian Queinnec. Amphi zéro: présentation de la licence d'informatique, September 2004. Vidéo enrichie d'une présentation de la licence aux étudiants du cycle L d'informatique cf. http://www.edu.upmc.fr/info/queinnec_04002/. [See also]