Langages et Compilation

TD4

PCF est le micro langage fonctionnel du cours 4. Le nom vient du fameux article de Plotkin en 1974 intitulé PCF: LCF as a programming language qui a posé les bases du problème de la séquentialité. Pour l'interpréter, on peut utiliser en C les programmes suivants:

Makefile
lexer.l, le lexer en Lex
parser.y, le paser en Yacc
syntax.h, la syntaxe abstraite
calc.c, l'évaluateur

% make
% ./calc
2+2 ;;