| 
|
Quote: added readonly annotations at 1500 lines/hour; found 19 errors, e.g., sorting the input array
topics >
all references >
references a-b >
Topic:
immutable files and data
Quotation Skeleton
Our methodology for annotating Java programs with 'readonly' … we read the documentation and the signatures of … themselves with 'readonly'. … The second stage … was to annotate the signatures of private methods … involved running the compiler on the resulting program, … on the time cost … Despite these problems, the annotation process was quick … [1200 lines per hour for Gizmoball and 1800 lines per hour for Daikon]. [For Daikon, a detector of program invariants, Javari identified 19 implementation errors.]. … [p. 45] An example of a Daikon error was … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: immutable files and data (57 items)