ALF 7 - Arbre de syntaxe abstraite

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

ALF
Arbre de syntaxe abstraite

Bibliographie pour aujourd'hui
Keith Cooper, Linda Torczon, Engineering a Compiler
– Chapitre 4
• 4.1 – 4.5
– Chapitre 5
A...

Contenu
• Définition dirigée par
syntaxe (SDD)
– S-attributs
– L-attributs
• Types
• Arbre de syntaxe abstraite
• Analyse ...

Grace Hopper
• Américain
• Vassar College
• Yale
• Premier compilateur
• Langage A-0

The Imitation Game

Slides
Partie de slides sont écrie par
Bogdan Nitulescu

Frontend
Source
Lexer Parser Semantic
AST
Tokens Parse Tree
Unexpected token … Expected …
Object has no
function …

Analyse sémantique
Analyse sémantique
Programmes lexicales corrects Analyse lexicale
Analyse syntactique
Programmes syntax...

Analyse sémantique
 Nous sommes intéressés par
 Annotez l'arbre de syntaxe avec des informations de
type
 Créer le tabl...

Analyse sémantique
• a=b;
• e = a*b;
• sum (a, b);
• a[i] = s;
• s.element = 7;

Définition dirigée par syntaxe
• Syntax-Directed Definitions (SDD)
– Grammaire
– Attributs
– Règles (pour les attributs)
E...

Attributs
• Grammaire
– E -> E + E
• Attributs
– E.val - valeur
– E.type - type

SDD Exemple
Production Règle
L-> E L.val = E.val
E -> E1 + T E.val = E1.val + T.val
E -> T E.val = T.val
T -> T1 * F T.val...

Translation dirigée par syntaxe
• Syntax-Directed Translation (SDT)
– Grammaire
– Attributs
– Règles (pour les attributs)
...

Arbre de syntaxe abstraite
Parse Tree AST
function
FUNCTION s LP parameters
a COMMA parameters
b
RP LB statements
return
R...

Exemple de AST
function factorial (n)
{
var f = 1;
for (var i=1; i < n; i++)
f = f * i;
return f;
}

Exemple de AST
{
“type”: “function”,
“name”: “factorial”,
“parameters”: {
“n”: “var”
},
statements: [ … ]
}

Contexte (scope)
 Les contextes mémorisent les déclarations
 Nom et structure de type
 Nom de variable
 Nom, type de r...

Contexte
Image from http://staff.polito.it/silvano.rivoira/HowToWriteYourOwnCompiler_file/Page392.htm

Contexte - exemple
 C++
 Locale (block { … } ou fichier)
 Label - le contexte c’est la fonction
 Attributs/méthodes – ...

Contexte et espace de nom
 C:
 typedef int foo; foo foo;
 int int;
 Java
 Integer Integer = new Integer(4);
 C, Java...

Implémentation du contexte
 Tableau de symbole
 Actions:
 Nouveau contexte
 Ajoute un symbole
 Retrouve un symbole
 ...

Pile
var a;
function work (p)
{
var i;
{
var a;
let l;
}
}
• l: var
Inside
{…}
• p: var
• i: var
• a: var
work
• a: var
• ...

$Hashtable var a; function work (p) { var i; { var a; let l; } } Symbol Type a_program var work_program function i_work var...$

Exemple de AST
function factorial (n) // make new context (function)
{
// add variable n to conext
var f = 1; // add varia...

Contexte statique et dynamique
 Statique - a la compilation
 C/C++
 Java
 Pascal
 Dynamique – lors de l'exécution
 J...

Types
 Type
 Valeurs autorisées
 Opérations autorisées
 Types
 Simple
 int, float, double, char, bool
 Composée
 a...

Paramètres pour les type
 Simple
 Le type (int, char, float … )
 Compose
 struct
 Liste avec les components
 Nom
 T...

Les types sont pour
 Constantes
 Variables
 Fonctions
 Expressions
 Instructions

Langage et type
• Dynamique vs. Statique
• Ou est-ce que la vérification de type est
effectuée?
Exécution vs compilation
•...

Vérification de type
 Synthèse
 Détermination de type pour un instruction
 Expression
 Overloading
 Inférence
 Déter...

Equivalence de types compose
 Un arbre pour l’information de type
 Nom
 Structure
 Vérifiez de façon récursive que l'a...

Inférence de type
 Déduction de type pour un expression
dans le contexte
 A compilation ou a exécution.
 C’est importan...

Sujets
• Définition dirigée par syntaxe (SDD)
• Types
• Arbre de syntaxe abstraite
• Analyse sémantique

Questions

Share Slideshare

LinkedIn
Facebook
Twitter

Embed

Size (px)

Show related Slideshows at end

WordPress Shortcode

Link

Share
Email

2024 Trend Updates: What Really Wor... by Search Engine Jou... 1061471 views
Storytelling For The Web: Integrate... by Chiara Aliotta 979505 views
Artificial Intelligence, Data and C... by OECD Directorate ... 919456 views
How to Leverage AI to Boost Employe... by SocialHRCamp 390372 views
2024 State of Marketing Report – by... by Marius Sescu 220814 views
Everything You Need To Know About C... by Expeed Software 237095 views

View on Slideshare

1 of 35 Ad

View on Slideshare

1 of 35 Ad