Semantics-based interpreters intended for specialisation.
- A big-step interpreter for a subset of C.
- A linear interpreter for Horn clauses (big-step to small-step)
- A regular path interpreter (small-step to big-step).
- Mini-ML semantics and types
-
Notifications
You must be signed in to change notification settings - Fork 0
jpgallagher/Semantics4PE
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Semantics-based interpreters intended for specialisation
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published