FIACRE -- Un langage formel pour systèmes temps - afsec
Documents pareils
FRAC – Compilateur Fiacre vers TINA - afsec
Outillage Fiacre (2/2)
Front : front-end (commun pour Flac et Frac)
Parser (lex, yacc) & Contrôle de types → AST annoté
Typage, initialisations, communications, autres contraintes statiques