• Responssable: Sébastien Ferré sebastien.ferre@irisa.fr
• Ma contribution: Chargé du TD et du TP du groupe du parcours Science informatique (SIF)
• Contact: Luc Bougé luc.bouge@ens-rennes.fr

Voir la page dédiée

Voir la page dédiée

• Dot
• NaryOp

Vous y trouverez les éléments suivants pour chaque langage

• Définition du type abstrait et pretty-printer associé
• Analyseur lexical: lexer.mll (pour ocamllex)
• Analyseur syntaxique: parser.mly (pour ocamlyacc ou menhir)
• Définition de l'évaluateur d'attributs attributes.ml si applicable
• Harnais de test: test.ml
• Makefile
• README pour expliquer le fonctionnement

• Site de référence
• Guide d'installation

• http://www.ffconsultancy.com/ocaml/benefits/parsing.html

Many applications, most notably compiler writing, require streams of characters to be converted into data structures such as trees. This conversion is known as parsing. As a language designed for compiler writing, OCaml provides tools to help with the parsing of character data.

OCaml provides two different forms of parsing:

• Recursive-descent parsing using camlp4's syntax extension for stream parsing
• Grammar-based parsing using ocamlyacc

[…] http://www.ffconsultancy.com/ocaml/benefits/parsing.html

• Tutoriel ocamllex
• Tutoriel ocamlyacc
• Documentation de référence Ocaml
• Chapitre tutoriel du livre en ligne Real World Ocaml
• Page Menhir sur OPAM, avec la documentation

• Un manuel général détaillé sur Yacc: Yacc: Yet Another Compiler-Compiler

• Tutoriel OPAM
• Tutoriel Ocaml
• Documentation de référence Ocaml

• Tutoriel Ocaml