ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/4 - 2011  - pp.369-370
TITRE
INTRODUCTION

RÉSUMÉ

Les analyseurs statiques et les compilateurs sont des logiciels opérant sur des programmes et pouvant accomplir des tâches complexes (par exemple, approximation du comportement d’une boucle pour un analyseur statique procédant par interprétation abstraite, ou encore allocation efficace des registres du processeur pour un compilateur), surtout lorsqu’ils opèrent sur des langages utilisés dans l’industrie. Les méthodes formelles fournissent des notations mathématiques pour spécifier le comportement attendu d’un logiciel et prouver ensuite que le logiciel satisfait sa spécification, et plus généralement des propriétés sémantiques de ce dernier. Les progrès des outils utilisés par les méthodes formelles, en particulier les assistants à la preuve, rendent désormais possible la vérification formelle d’analyseurs statiques et de compilateurs réalistes. Méthodes formelles pour l’analyse statique et la compilation présente, au travers de quelques approches, des travaux de recherche actuels dans le domaine.



AUTEUR(S)
Sandrine BLAZY

LANGUE DE L'ARTICLE
Français

 PRIX
GRATUIT
   
ACCÉDER A L'ARTICLE COMPLET  (56 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier