Abstract-interpretation-based Static Analyzer for the While language
-
Updated
Dec 28, 2015 - Haskell
Abstract-interpretation-based Static Analyzer for the While language
An Interpreter for the while language
Universality implementation
A compiler for a language called CAMLE similar to that of `While` from the Appel compiler book
Implementation in Haskell of the WHILE language semantics
Add a description, image, and links to the while-language topic page so that developers can more easily learn about it.
To associate your repository with the while-language topic, visit your repo's landing page and select "manage topics."