Langages et Compilation

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
On compile et on exécute. Il y a encore quelques bugs, car c'est bien long de débugger en C. Merci pour toute aide.
% make
% ./calc
2+2 ;;