Home

Compilers

Notes

• Caml reinforcement 1 [ .ml ]
• Caml reinforcement 2 [ .ml ]
• Exercises on trees [ .ml ]
• IMP basic compiler [ .zip ]
• Skeleton for SIMP compiler [ .zip ]
• Updated squeleton for SIMP compiler, with instructions [ .zip ]
• Additional files for OBJLNG compiler, with instructions [ .zip ]
• Skeleton for optimizing IMP compiler, with instructions [ .zip ]

Documents and links

MIPS

• MARS simulator
• Documentation

Ocaml

• The OCaml Language
• OCaml Standard Tools
• OCaml Standard Library
• OCaml Emacs Mode (Tuareg)
• Conchon et Filliâtre, Apprendre à programmer avec OCaml. Algorithmes et structures de données. (book)

Books on compilers and related topics

• Aho, Lam, Sethi et Ullman, Modern Compilers: Principles, Techniques, and Tools.
  A.k.a. the dragonbook.
  Traduit en français (Compilateurs : principes, techniques et outils).
• Pierce, Types and Programming Languages.
• Bryant et O'Hallaron, Computer Systems: A Programmer's Perspective.
• Nisam et Schocken, The Elements of Computing Systems: Building a Modern Computer from First Principles.
• Appel, Modern Compiler Implementation in ML.