Sous-Typage par Saturation de Contraintes, Théorie et Implémentation

Autor:	Vaugon, Benoit
Jazyk:	francouzština
Rok vydání:	2016
Předmět:	Sous-Typage Méthodes formelles Programmation Analyse statique Langage de programmation Subtyping Formal methods Programming Static Analysis Programming language 005
Druh dokumentu:	Text
Popis:	Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du code sont représentées par des ensemble de contraintes de la forme (t1 This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution. More precisely, we focus hear in the field of sub-typing, where program properties are described by sets of constraints of the form (t1
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://www.theses.fr/2016SACLY004/document Zobrazit plný text záznamu