Skip to content
Snippets Groups Projects
README.md 588 B
Newer Older
Bjarno Oeyen's avatar
Bjarno Oeyen committed
# Karcharias

Bjarno Oeyen's avatar
Bjarno Oeyen committed
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.
Bjarno Oeyen's avatar
Bjarno Oeyen committed

## 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
```

Bjarno Oeyen's avatar
Bjarno Oeyen committed
This runs a few unit tests to verify if the reduction rules always reach a _final_ state.