Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Analyse statique typée des propriétés structurelles des programmes
par Francisco Alberti
Thèse de doctorat en Programmation. Sémantique, preuves et langages
Sous la direction de Pierre-Louis Curien.
Soutenue en 2005
à Paris 7 .
- Analyse statique
- Logique linéaire
- Langage fonctionnel
- Programmation
- Compilateurs
- Logiques sous-structurelles
- Analyse affine
mots clés
-
Pas de résumé disponible.
-
Titre traduit
Type-based static analysis of structural properties in programming languages
-
Pas de résumé disponible.
Autre version
Cette thèse a donné lieu à une publication en 2005 par [CCSD] à Villeurbanne
Analyse statique typée des propriétés structurelles des programmes
