These examples are meant to illustrate how to generate and use the symbolic sematics of programming languages.
Each folder contains a language definition lang.k and some examples pgm.lang.
To kompile a definition please select lang.k from the left panel, add option `--backend symbolic` in Params, and then hit `kompile` button.
To run a program you have to select the program, say pgm.lang, pass the krun parameters which can be found in pgm.lang, and the hit `krun` button.
Curent folder Examples Cancel