Newer
Older
This repository contains the executable semantics of Karcharias from the paper "A Graph-Based Formal Semantics of Reactive Programming from First Principles" (TODO: Add Link here!).
The implementation makes use of PLT Redex, a domain-specific language for specifying operational semantics.
## Requirements
- A recent copy of [Racket](https://racket-lang.org/)
## How to run
```bash
git clone https://gitlab.soft.vub.ac.be/boeyen/karcharias.git
cd karcharias
racket main.rkt
```
This runs a few unit tests to verify if the reduction rules always reach a _final_ state.