College Park / Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland / JOHN KODUMAL University of California / /
IndustryTerm
static analysis tools / conventional tools / inference algorithm / type qualifier systems / machinery / Well-publicized software glitches / software quality / copyright/server / software quality problems / type systems / static type systems / program analysis tool / visualization tool / generic solution / /
OperatingSystem
Linux / GNU / /
Organization
Mars Climate Orbiter Mishap Investigation Board / Stanford University / University of California / Berkeley / University of Maryland / College Park / /
Person
ROBERT JOHNSON / ALEX AIKEN / Qualifier Partial / Jeffrey S. Foster / /
Position
qualifier / Programs General / GNU General Public License / programmer / /
Product
CQual / a tool called CQual1 / CQual1 / /
ProgrammingLanguage
Java / C / C++ / /
ProvinceOrState
Maryland / California / /
Technology
object-oriented programming / Java / ANSI C / Linux / inference algorithm / dom / /
Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley