Skip to Main content Skip to Navigation
Theses

Implicit Computational Complexity and Compilers

Abstract : La théorie de la complexité´e s’intéresse à la gestion des ressources, temps ou espace, consommés par un programmel ors de son exécution. L’analyse statique nous permet de rechercher certains critères syntaxiques afin de catégoriser des familles de programmes. L’une des approches les plus fructueuses dans le domaine consiste à observer le comportement potentiel des données manipulées. Par exemple, la détection de programmes “non size increasing” se base sur le principe très simple de compter le nombre d’allocations et de dé-allocations de mémoire, en particulier au cours de boucles et on arrive ainsi à détecter les programmes calculant en espace constant. Cette méthode s’exprime très bien comme propriété sur les graphes de flot de contrôle. Comme les méthodes de complexité implicite fonctionnent à l’aide de critères purement syntaxiques, ces analyses peuvent être faites au moment de la compilation. Parce qu’elles ne sont ici que statiques, ces analyses ne sont pas toujours calculables ou facilement calculables, des compromis doivent être faits en s’autorisant des approximations. Dans le sillon du “Size-Change Principle” de C. S. Lee, N. D. Jones et A. M. Ben-Amram, beaucoup de recherches reprennent cette méthode de prédiction de terminaison par observation de l’évolution des ressources. Pour le moment, ces méthodes venant des théories de la complexité implicite ont surtout été appliquées sur des langages plus ou moins jouets. Cette thèse tend à porter ces méthodes sur de “vrais” langages de programmation en s’appliquant au niveau des représentations intermédiaires dans des compilateurs largement utilises. Elle fournit à la communauté un outil permettant de traiter une grande quantité d’exemples et d’avoir une idée plus précise de l’expressivité réelle de ces analyses. De plus cette thèse crée un pont entre deux communautés, celle de la complexité implicite et celle de la compilation, montrant ainsi que chacune peut apporter à l’autre.
Document type :
Theses
Complete list of metadatas

Cited literature [96 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02362912
Contributor : Abes Star :  Contact
Submitted on : Thursday, November 14, 2019 - 10:23:22 AM
Last modification on : Saturday, February 15, 2020 - 2:03:18 AM
Long-term archiving on: : Saturday, February 15, 2020 - 2:08:15 PM

File

edgalilee_th_2017_rubiano.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02362912, version 1

Collections

Citation

Thomas Rubiano. Implicit Computational Complexity and Compilers. Computational Complexity [cs.CC]. Université Sorbonne Paris Cité, 2017. English. ⟨NNT : 2017USPCD076⟩. ⟨tel-02362912⟩

Share

Metrics

Record views

137

Files downloads

63