Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Alan Schmitt 1
1 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Pour la vingtième année consécutive, les Journées Francophones des Langages Applications sont l'occasion de se retrouver dans un cadre agréable et propice aux échanges conviviaux. Cette année, c'est à Saint-Quentin sur Isère, près de Grenoble, que nous nous réunissons, maintenant la tradition de l'alternance mer-montagne. Les neuf articles choisis par le comité de programme reflètent bien la diversité de notre communauté et les avancés tant du point de vue de l'application de langages fonctionnels que de la conception et de l'utilisation d'assistants à la preuve. Nous avons souhaité également inclure des articles plus proches de tutoriels ou de retours d'expérience, ceux-ci étant particulièrement adaptés au cadre pédagogique des Journées. Deux orateurs nous ont fait l'honneur d'accepter notre invitation. L'exposé de Vincent Balat, de l'université Paris 7, intitulé ≪ Ocsigen : approche fonctionnelle typée de la programmation Web ≫ illustre l'utilisation croissante de langages applicatifs dans des milieux inattendus. L'exposé de Bruno Barras, de Trusted Labs, intitulé ≪ Faut-il avoir peur de sa carte SIM ? ≫ présente l'application d'assistants à la preuve dans la modélisation de cartes à puces. Pour la quatrième année consécutive, deux sessions d'une demi-journée chacune sont consacrées à des cours. Le premier porte sur la modélisation de la linguistique (par Gérard Huet, de l'INRIA Paris - Rocquencourt) et le deuxième sur les bibliothèques Coq utilisées dans la preuve récente du théorème des quatre couleurs (par Assia Mahboubi, de l'INRIA Saclay - Île-de-France).
Type de document :
Ouvrage (y compris édition critique et traduction)
INRIA. INRIA, pp.174, 2009
Liste complète des métadonnées


https://hal.inria.fr/inria-00362717
Contributeur : Alan Schmitt <>
Soumis le : jeudi 26 février 2009 - 15:58:33
Dernière modification le : mardi 10 mars 2009 - 17:02:24
Document(s) archivé(s) le : mardi 8 juin 2010 - 19:36:49

Fichier

Actes_JFLA_2009.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00362717, version 1

Collections

INRIA | LIG | UGA

Citation

Alan Schmitt. Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs). INRIA. INRIA, pp.174, 2009. <inria-00362717>

Partager

Métriques

Consultations de
la notice

446

Téléchargements du document

351