next up previous
Next: Year 2002 Up: Queinnec's bibliography Previous: Year 2000

Year 2001


Christian Queinnec. Inverting back the inversion of control or, continuations versus page-centric programming. Technical Report 7, LIP6, May 2001.

Abstract:

Our thesis is that programming web applications with continuations is superior to the current page-centric technology. A continuation is a program-level manageable value representing the rest of the computation of the program. ``What to do next'' is precisely what has to be explicitly encoded in order to program non trivial web interactions. Continuations allow web applications to be written in direct style that is, as a single program that displays forms and reads form submission since continuations automatically capture everything (control point, lexical bindings, etc.) that is needed to resume the computation. Programming is therefore safer, easier and more re-usable.

[See also]


Christian Queinnec and Hélène Giroire. Pages dynamiques composées par filtrage une mise en oeuvre sur cédérom. Technical Report 6, LIP6, May 2001.

Abstract:

Afin de s'adapter aux étudiants, à leur préférences ou à ce qui, tout simplement, semble approprié compte-tenu de l'enseignement qu'ils suivent, une solution couramment prise est d'utiliser des pages dynamiques (servlets ou Java Server Pages). Notre propos est de montrer que ce choix peut être utilement complété par une mécanique de filtrage.

Cette démarche a été employée avec succès pour la réalisation d'un cédérom, distribué en guise de polycopié électronique accompagnant un cours sur le langage C en licence d'informatique.


Christian Queinnec and Hélène Giroire. Pages dynamiques composées par filtrage une mise en oeuvre sur cédérom. In Cyrille Desmoulins, Monique Grandbastien, and Jean-Marc Labat, editors, EIAO'2001 - Environnements Interactifs d'Apprentissage avec Ordinateur, volume 8 of Sciences et Techniques Éducatives, pages 190-191, Cité des Sciences de La Villette, Paris (France), May 2001. Hermès Science Publications. version longue en 24.

Abstract:

Afin de s'adapter aux étudiants, à leur préférences ou à ce qui, tout simplement, semble approprié compte-tenu de l'enseignement qu'ils suivent, une solution couramment prise est d'utiliser des pages dynamiques (servlets ou Java Server Pages). Notre propos est de montrer que ce choix peut être utilement complété par une mécanique de filtrage.

Cette démarche a été employée avec succès pour la réalisation d'un cédérom, distribué en guise de polycopié électronique accompagnant un cours sur le langage C en licence d'informatique.

[See also]


Christian Queinnec. Langage C, chapter H 3 068, pages 1-15. Techniques de l'Ingénieur, traité Informatique, Paris (France), 2001.


Frédéric Peschanski, Christian Queinnec, and Jean-Pierre Briot. A typeful composition model for dynamic software architectures. Soon as a TR, July 2001.

Abstract:

Future generations of software systems should be able to evolve consistently while they are running. To address this problem, we propose a model and a domain-specific language, named Scope, that offers the dynamic composition of component-based software architectures. The basic constitutive operation available is the establishment of a connection between two given composnents. Interconnected components can exchange information in the form of anonymous event emissions. Event types are used in our work both to capture programmer's intentions at the conceptual level and to ensure type safety at the operational level. A type inference algorithm maps these two levels. Compositions can be flat or recursive, the result being an architecture or a composite component. Language-level extensions are proposed through type confinement, connection labelling and component refinement.


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


Christian Queinnec. Cédérom videoscm 2001 -- spad, 2001. cf. http://www.infop6.jussieu.fr/cederoms/VideoScm2001/. [See also]


next up previous
Next: Year 2002 Up: Queinnec's bibliography Previous: Year 2000

© C. Queinnec fecit (2012-02-19) [Home page]