Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
Journées Nationales 2010
DocumentsDate added
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.
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes
Actes des journées nationales 2010, Pau du 10 au 12 mars 2010
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;}
Arnaud Gotlieb.
EUclide is a Constraint Language based on Imperative DEfinitions
Prix du meilleur poster 2010
EUclide is a Constraint Language based on Imperative DEfinitions
Document "Défis" qui résume les réponses à l'appel à défis 2010.