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

Sander Bosma

Date: Wed, January 31, 2018
Time: 12:30
Room: Yellow Brickroad (Bouwcampus)

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 |
Next: Albert ten Napel |