1. Accueil
  2. Prochaines soutenances

LERMUSIAUX PIERRE

14h00

Soutenance de thèse de PIERRE LERMUSIAUX

Analyse statique de transformations pour l'élimination de motif

Static analysis of pattern eliminating transformations

Jury

Directeur de these - MOREAU - Pierre-Etienne - UNIVERSITE DE LORRAINE
CoDirecteur de these - CIRSTEA - Horatiu - UNIVERSITE DE LORRAINE
Rapporteur - GENET - Thomas - UNIVERSITE DE RENNES
Rapporteur - KOUCHNARENKO - Olga - UNIVERSITE FRANCHE COMTE
Examinateur - FERNANDEZ - Maribel - KING'S COLLEGE LONDON
Examinateur - PANTEL - Marc - ENSEEIHT TOULOUSE

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Laboratoire

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mention de diplôme

Informatique
TBD LORIA, Campus Scientifique, 615 Rue du Jardin-Botanique, 54506 Vandœuvre-lès-Nancy
*

Mots clés

analyse statique,filtrage par motif,réécriture,transformation de programmes,sémantique de motif,spécifications algébrique

Résumé de la thèse

La transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de tests en passant par de nombreuses approches d'analyse de codes et de vérification formelle des programmes, c'est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques.

Keywords

static analysis,pattern matching,rewriting,program transformation,pattern semantics,algebraic specifications

Abstract

Program transformation is an extremely common practice in computer science. From compilation to tests generation, through many approaches of code analysis and formal verification of programs, it is a process that is both ubiquitous and critical to properly functionning programs and information systems.
Liste de toutes les soutenances