Explore projects

Program logic for developing and verifying distributed systems

Projet prog 1 L3

M2 @ ENS Cachan / MPRI — Functional Programming (2-4) — Project: compiling a functional language down to C, through a CPS translation and defunctionalization

L3 @ ENS Cachan — Programmation 1 — Project: a C-- to x86 compiler (project webpage: http://www.lsv.ens-cachan.fr/~goubault/CoursProgrammation/MiniC1/minicindex.html)