Team oasis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2002
Project: oasis

Project : oasis

Section: New Results


Analyses statiques et transformations de programmes

Participants : Isabelle Attali, Denis Caromel, Ludovic Henrio, Didier Parigot, Bernard Serpette.

Les travaux, en collaboration avec Manuel Serrano du projet Mimosa, sur la compilation de Scheme dans la machine virtuelle Java (JVM), par extension du compilateur existant Bigloo, ont abouti à la publication d'un article . Dans le même cadre de collaboration, nous travaillons sur la génération de code pour la machine virtuelle de .NET. Notre premier prototype fournit des résultats comparables aux premières versions du générateur JVM : ce travail apparait donc comme prometteur.

Les travaux sur la vérification de bytecode ont abouti à l'acceptation d'un article .

Dans le cadre du stage de Szabolcs Szentes, nous avons étudié une série de quatre algorithmes et leurs complexités associées résolvant la plus petite des réductions statiques plus communément connue sous le nom de « 0th order control flow analysis ». Même si cette analyse est généralement déclarée comme calculable en temps cubique, l'algorithme complet atteignant cette complexité n'est pas direct. Le dernier de ces algorithmes (et le meilleur) que nous proposons n'a, à notre connaissance, jamais été publié et s'exécute, dans les pires cas, en un temps cubique par rapport à la taille du programme .


previous
next