This thesis applies implicit computational complexity methods into "real life" programs by manipulating intermediate representation languages in compilers.
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.
interpretations Our thesis is a development of implicit computational complexity.
L'étude que nous proposons s'inscrit dans le cadre de la complexité implicite des calculs.
Abstract: Our thesis is a development of implicit computational complexity.
Résumé : L'étude que nous proposons s'inscrit dans le cadre de la complexité implicite des calculs.
More generally, this thesis fits in the research field of Implicit Computational Complexity which aims at characterizing complexity classes by logical principles or language restrictions.
Plus généralement, cette thèse s'inscrit dans le domaine de la complexité implicite qui cherche à caractériser des classes de complexité par des principes logiques ou des restrictions de langage.
Abstract: Implicit computational complexity is the characterization of complexity classes by syntactic restrictions on computation models.
Résumé : La complexité implicite est la caractérisation de classes de complexité par des restrictions syntaxiques sur des modèles de calcul.
Abstract: There are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources.
Résumé : Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.