Cleanroom: Edit-Time Error Detection With the Uniqueness Heuristic

Free registration required

Executive Summary

Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standard program analysis. The authors present an alternative verification, which, rather than analyzing the semantics of code, highlights any name or pair of names that appear only once across a program's source files. This uniqueness heuristic is implemented for HTML, CSS, and JavaScript, in an interactive editor called Cleanroom, which highlights lone identifiers after each keystroke.

  • Format: PDF
  • Size: 609.2 KB