Interpreter and static analyzer for a basic programming language inspired by Plotkin's Three-Counter Machine.
The static analysis module is based on abstract interpretation.
fsestini/three-counter-machine
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Interpreter and static analyzer for a basic programming language inspired by Plotkin's Three-Counter Machine.
The static analysis module is based on abstract interpretation.