Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
Journées Nationales 2010
DocumentsDate added
Ce document est un extrait des actes des journées nationales qui reprend les 5 articles retenus pour l'appel à défis.
Document "Défis" qui résume les réponses à l'appel à défis 2010.
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
Actes des journées nationales 2010, Pau du 10 au 12 mars 2010
Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes
Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.