Accueil/ recherche

Recherche


linux

2 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 (1)  Titre        Date 
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)
Xavier Leroy
INRIA