Back to Checker Framework
GSoC 2018

Index Checker case study on Google Guava library. Fix bugs and improve its error messages.

Project details

Contributor

Nhat Dinh

Mentors

Vlastimil Dort, Martin Kellogg

Technologies

Not listed in the archive