Précédent : Présentation et objectifs généraux Remonter : Conception et validation de logiciels Suivant : Sémantique des langages de programmation
Précédent : Présentation et objectifs généraux
Remonter : Conception et validation de logiciels
Suivant : Sémantique des langages de
programmation
Une caractéristique importante des méthodes proposées dans le projet LANDE est de reposer sur des bases formelles. S'agissant des langages de programmation, ces bases peuvent être fournies de différentes manières par ce qu'on appelle des sémantiques. Ces sémantiques sont ensuite utilisées pour définir des analyses de programmes qui permettent d'extraire des informations à partir du code des programmes (analyse statique) ou d'une trace d'exécution (analyse dynamique). Les analyses peuvent avoir différentes applications et celles qui intéressent au premier chef le projet LANDE sont l'aide à la mise au point ou débogage de programmes et le test de logiciels. Ces applications ne concernent pas un langage de programmation spécifique mais la validation des programmes peut être notoirement simplifiée si on peut imposer une discipline de programmation a priori. Les langages de haut niveau, en particulier les langages déclaratifs peuvent être vus comme un moyen d'introduire une telle discipline.