Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
DocumentsDate added
Ce document est un extrait des actes des journées nationales qui reprend les 5 articles retenus pour l'appel à défis.
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes
Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms
Diapositive 2
.O {color:black; font-size:149%;} a:link {color:#CCCCFF !important;} a:active {color:#3333CC !important;} a:visited {color:#B2B2B2 !important;}
EUclide is a Constraint Language based on Imperative DEfinitions
Transparents de la session de clôture avec la proclamation du prix du meilleur poster.
Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.
Document "Défis" qui résume les réponses à l'appel à défis 2010.