study2025Completed
A seven-part language toolchain in F#
A DTU course project: parser, compiler, interpreter, verifier, analyzers, and model checker for a small language.
study/2025
Overview
Built over a DTU course on programming languages and formal methods: a parser, compiler, interpreter, verifier, static analyzers, and a model checker, all for the same small language, written in F#.
TODO(Patrick): expand with the actual problem statement, design decisions, and what was hardest to get right.
Highlights
- Seven cooperating stages sharing one language definition
- Functional programming throughout, in F#
- Covers parsing through formal verification and model checking