Implementation in Haskell of the WHILE language semantics
-
Updated
Feb 1, 2024 - Haskell
Implementation in Haskell of the WHILE language semantics
A compiler for a language called CAMLE similar to that of `While` from the Appel compiler book
Universality implementation
Abstract-interpretation-based Static Analyzer for the While language
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."