Abstract-interpretation-based Static Analyzer for the While language
- Updated
Dec 28, 2015 - Haskell
#
while-language
Here are 5 public repositories matching this topic...
An Interpreter for the while language
- Updated
Jul 4, 2025 - Haskell
A compiler for a language called CAMLE similar to that of `While` from the Appel compiler book
- Updated
Apr 8, 2018 - Haskell
Universality implementation
- Updated
Jan 21, 2018 - Haskell
Implementation in Haskell of the WHILE language semantics
- Updated
Feb 1, 2024 - Haskell
Improve this page
Add a description, image, and links to the while-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the while-language topic, visit your repo's landing page and select "manage topics."