This is a Rust implementation of TIP, the Tiny Imperative Programming Language, as described in Anders Møller and Michael I. Schwartzbach's book Static Program Analysis [1].
- Møller, A., & Schwartzbach, M. I. (2012). Static program analysis. Notes. Feb.