Guarded command language interpreter
Guarded is the interpreter of Dijkstra's guarded command language, written in python with ANTLR4 generator.
Example of program in this language:
a := 45; b := 15; do a != b -> if a > b -> a := a - b | a < b -> b := b - a fi od
To start using interpreter, follow these steps:
- Install gclang:
$ pip install gclang
- Launch program of your choice with:
$ gclang ./examples/euqclid.gua run $ gclang ./examples/euqclid.gua derive
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.