Discussion :

[Identifiant]

Salut tout le monde,

Je suis débutante en compilation. J'ai un projet à réaliser. Je vous demande
de me proposer un langage à compiler. ça doit être un miniprojet que je dois
présenter dans quelques semaines.

Thank you in advance for your suggestions.

[gorgonite]

ben essaies de faire un compilateur vers une machine virtuelle pour un langage de type fonctionnel pur... (le noyau de caml par exemple)

ensuite, si tu as le temps, tu peux ajouter des types, une optimisation sur le passage des arguments pour les fonctions à n arguments (n<>1), etc.

[millie]

Tu peux aussi faire un compilateur d'un langage genre C vers un langage 3 adresses.

La grammaire pourrait par exemple être (syntaxe yacc) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
%token VIR PV DP FP ID NUM NOT 
%token AND OR  
%token PLUS MOINS 
%token DIV STAR
%token LOW GRT NEQ EQL 
%token EQ 
%token DA FA 
%token TRUE FALSE 
%token INT FLOAT BOOL 
%token IF THEN ELSE REPEAT DO WHILE UNTIL


%start prog

%left AND OR  
%left PLUS MOINS 
%left DIV STAR
%left LOW GRT NEQ EQL 

%nonassoc THEN
%nonassoc ELSE
%nonassoc MUNAIRE

%%

prog : decl_list inst_list pv ;

pv : PV | ;

decl_list : decl_list decl
| ;

decl : type id_aff_list PV;

id_aff_list : id_aff_list VIR id_aff
| id_aff ;

id_aff : id | affect ;

id : ID ;

type : INT | FLOAT | BOOL | type STAR ;

inst_list : inst_list PV inst
| inst ;

inst : affect
       | cond
       | loop
       | bloc ;

affect : id EQ exp ;

cond : IF exp THEN inst 
| IF exp THEN inst ELSE inst;

loop : WHILE exp DO inst
| REPEAT inst UNTIL exp ;

bloc : DA prog FA ;

exp :  exp OR exp
     | exp AND exp
     | exp PLUS exp
     | exp MOINS exp
     | exp STAR exp
     | exp DIV exp
     | exp EQL exp
     | exp GRT exp
     | exp LOW exp
     | exp NEQ exp
     | uop exp %prec MUNAIRE
     | DP exp FP
     | id
     | const ; 

const : NUM | TRUE | FALSE ;

uop : STAR | MOINS | NOT;

C'est loin d'être une grammaire complète (il n'y a pas de nouveau typage, pas de fonction). Ca dépend du temps que vous disposez en fait et des langages utilisés.

mais tu peux voir beaucoup de chose :
- analyse sémantique (vérification de type, portée des variables, table des symboles)
- production de code (à registre ou non, optimisation possible)

[InOCamlWeTrust]

Oui, la dernière proposition me paraît beaucoup plus simple. Compiler du fonctionnel, c'est pas simple : il faut déjà être assez calé.

Les premières années à l'ENSEEIHT viennent d'avoir un projet (Caml) portant sur un langage de dessin... ça peut aussi être intéressant pour un début.

[GrandFather]

ça peut aussi être intéressant pour un début.

+1. Pourquoi pas un compilateur Logo ?

[Identifiant]

hehe Le logo me parait intéressant Thx a lot for your suggestions

[dotnet_kbma]

Bonjour,
je cherche un support de cours de théorie de langage de compilation avec des exercices pour faire quelque pratique

Merci d'avance

[SpiceGuid]

Théorie des langages:
http://general.developpez.com/cours/#generalite

Tu trouveras également des liens intéressants dans mon cours Ocaml notamment la partie 7 et la partie 10 (en bas de page).