6.883 | Fall 2005 | Graduate

Program Analysis

Projects

unit_type_infere.pdf

Description:

This file describes a technique used by programmers to find bugs as indicated by the inferred unit types not matching up with their intuition and as a starting point for annotating their code with units using an annotation framework.

Resource Type:
Projects
pdf
175 kB
unit_type_infere.pdf

Course Info

Instructor
As Taught In
Fall 2005
Level