Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)

Ce fichier regroupe en un seul document l'ensemble des articles acceptés pour la conférence JFLA2008.JFLA 2008 est la dix-neuvième conférence francophone organisée autour des langages applicatifs. Cette année, les journées ont lieu à Étretat, en Normandie. Nous respectons ainsi l'alternance mer-montagne traditionnelle aux JFLA et le choix d'un cadre propice aux échanges conviviaux sur les langages applicatifs. Le comité de programme a choisi 11 articles sur les 18 présentés, portant sur des sujets très variés, témoignant de la vitalité et de la diversité de notre communauté. Les soumissions étaient de grande qualité et nous remercions les auteurs qui ont soumis un article aux JFLA 2008, en contribuant ainsi au haut niveau scientifique de ces journées. Deux orateurs ont été invités: Pierre Weis, de l'INRIA Paris-Rocquencourt et Cédric Fournet, de Microsoft Research. Pour la troisième année consécutive, deux sessions d'une demi-journée chacune ont été consacrées à la découverte de thèmes de recherche: les sémantiques formelles (par Yves Bertot de l'INRIA Sophia Antipolis - Méditerranée) et la conception d'une bibliothèque formelle de mathématiques effectives (par Renaud Rioboo du laboratoire CEDRIC de l'ENSIIE)