Abstract analyser of a minimal imperative language written in ocaml. Projetct for TAS court of UPMC
busyweaver / analyseur_abstrait Goto Github PK
View Code? Open in Web Editor NEWAbstract analyser of a minimal imperative language written in ocaml. The analyser is based on the course of M.Miné Antoine