Skip to content

SoftwareEngineeringToolDemos/ICSE-2010-Checker-Framework

 
 

Repository files navigation

This repository contains information related to the tool Checker Framework presented in the International Conference on Software Engineering, 2010. The tool was originally presented in this paper.

This repository IS NOT the original repository for this tool. Here are some links to the original project:

In this repository, for CheckerFramework you will find:

This repository was constructed by Kahan Prabhu under the supervision of Emerson Murphy-Hill.

Packages

No packages published

Languages

  • Java 90.0%
  • TeX 7.2%
  • HTML 1.7%
  • Python 0.9%
  • Makefile 0.1%
  • Shell 0.1%