IncA case study - implementing a type checker for the Rust language

Sander Bosma

Tamás and Sebastian have been working on IncA, a framework/DSL for implementing efficient incremental program analyses. Existing case studies for IncA only use relatively simple program analyses. To determine the suitability of IncA for more complex analyses, and for type checkers for real-world languages in particular, a type checker for the Rust language is implemented in IncA.

---

Previous: Jente Hidskes | Increasing precision of Abstract Interpretation of Program Transformations
Next: Albert ten Napel | Dynamic instances for algebraic effects and handlers