Accueil/ recherche

Recherche


Julia Lawall

3 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (2)  Titre        Date 
photoExpose
14 minutes avec 14 scientifiques
Alain Prochiantz, Serge Haroche, François Bouchet, Alain Berthoz, Clotilde Policar, Susan Solomon, Elena Pasquinelli, Rava Da Silveira, Françoise Combes, Gérard Berry, Stanislas Dehaene, Julia Lawall, René Frydman, Eléonore Stutzmann
06/06/2014
Un peu plus de 14 minutes en compagnie de 14 scientifiques... Françoise CombesStanislas DehaeneSerge HarocheClotilde PolicarGérard BerryElena PasquinelliAlain ProchiantzSusan SolomonFrançois BouchetEléonore StutzmannAlain Berthoz Rava Da SilveiraJul...
Catégories : Quelques minutes avec..., Savoirs+
Mots-clefs: Aucun mot clef.
photoExpose
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall
20/02/2014
Conférence de Julia Lawall organisée par le département d'informatique. Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expres...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, ...


Auteurs (1)
Julia Lawall
INRIA, LIP 6