Abstract FR:

On considere, d'une facon generale, que des programmes ecrits dans des langages differents requierent des traitements par des outils differents. Ainsi, des langages aussi eloignes que les langages fonctionnels et imperatifs necessitent des analyses et des transformations de programmes distinctes. Nos travaux presentent une approche d'analyses et de transformations de programmes imperatifs utilisant des outils fonctionnels deja existants. En particulier, pour obtenir de bons resultats a partir d'outils fonctionnels, nous avons besoin de raffiner le modele classique de memoire. Ce travail est valide par l'analyse et la transformation de programmes ecrits dans un sous-ensemble realiste du langage c (incluant les affectations, les pointeurs et les structures de donnees). L'analyse et la transformation utilisent un evaluateur partiel fonctionnel pur pre-existant. Notre these est que les resultats de l'application de ces techniques fonctionnelles a des programmes imperatifs fonctionnalises sont comparables a ceux que les techniques imperatives correspondantes auraient produits. Nous definissons notre approche formellement et prouvons qu'elle preserve la semantique des programmes imperatifs