Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
Journées Nationales 2010
DocumentsDate added
Actes des journées nationales 2010, Pau du 10 au 12 mars 2010
Document "Défis" qui résume les réponses à l'appel à défis 2010.
Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.
Transparents de la session de clôture avec la proclamation du prix du meilleur poster.
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
Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes