Lukas Convent

On Tech, Math, Teaching

Flanelly: Programming a Flow Analyzer in Rust

Provided as part of the dependable software course taught by Martin Leucker at ISP, Lübeck in 2020

This is a programming lab that was handed out to students who were instructed in this course on both Flow Analysis and Rust.