|
Introduction à l'analyse syntaxique et à la compilation |
|
Publié par :
Ingenieur
|
|
Decrire la syntaxe abstraite d'un langage de programmation et de construire unanalyseur syntaxique pour ce langage à l'aide d'outils standards et de comprendre la description formalisée de la sémantique opérationnelle et de la sémantiquestatique d'un langage
Pour décrire la sémantique d'un langage de programmation ? Une idée générale qui s'applique aussi bien aux automates qu'aux langages de programmation est de décrire formellement le calcul et de retenir le 'résultat' du calcul. Cette idée est adéquate au moins pour les langages séquentiels et déterministes que nous traitons dans ce cours.
Dans notre étude de cas, nous pouvons établir que le résultat du calcul d'une expression est une valeur v, à savoir ou bien un booléen ou bien un nombre naturel. Pour décrire le calcul on utilise une relation. Cette relation est définie sur la syntaxe abstraite mais pour des raisons de lisibilité on l'écrit toujours en utilisant la syntaxe concrète. La relation est définie par les règles suivantes.
Une machine virtuelle est un ensemble de structures de données et d'algorithmes qui permettent d'exécuter (efficacement) un certain ensemble d'instructions. En d'autres termes, une machine virtuelle peut être vue comme un type de donnée.
Un point important que nous omettons de traiter ici est celui de la correction de la fonction de compilation. Un premier pas pourrait consister à montrer que la compilation d'un programme bien typée ne produit pas d'erreurs au moment de l'exécution. Ensuite, on pourrait chercher `à montrer que si un programme bien typée s'évalue dans une valeur v alors l'exécution du code compilée produira comme résultat la valeur v.
17/01/2011
Langue :
Français
Pages :
68
Consultations :
5256
Auteur : Roberto M. Amadio
La méthode Merise : Le modèle conceptuel de données. Le modèle conceptuel des données (MCD) décrit la signification des...
Cours sur Bases de données sous environnement Delphi. Pour accéder aux différentes informations l'utilisateur doit exécuter...
Cours d'introduction aux architectures n-tier dispensé à TELECOM Bretagne. Cours sous licence Creative Commons :...
Présentation de Spring et de l’injection de dépendances. Document sous licence Creative Commons :...
Cours de HTML. Creative Commons http://creativecommons.org/licenses/by-nc-sa/2.0/fr/
Cours de langage SQL dispensé à l'Université de Sophia-Antipolis. Cours sous licence Creative Commons :...
Document type de gestion des actions correctives et préventives, management de la qualité. Cette procédure définit les...
Document type pour un modèle de procédure, management de la qualité. Ce document vous permet d’organiser votre modèle de...
Document type procédure : audit interne, management de la qualité. Cette procédure définit les dispositions à prendre pour...
Document type, management de la qualité. Cette procédure définit comment gérer les enregistrements, notamment le classement...
La capacité d?augmenter le prix par rapport au prix concurrentiel (ou de le baisser dans le cas du monopsone) ? Mesurer par...
Si le modèle mathématique n'admet pas de solution analytique, il est alors nécessaire de chercher une solution approchée de...
| Aucun commentaire pour cette publication |
 |
|
Vous pouvez vous référer aux conditions générales de vente et d'achat du portail pour connaître les modalités d'achat.
|