| 
|
Quote: run-time checks of actual types; unallocated, uninitialized, integral, real, and pointer; shows exact location of errors; 20x slower
Topic:
consistency testing
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Quotation Skeleton
This paper describes the design and implementation of … Whenever a value is written into a location, … location's static type is compared with the value's … location is used, its run-time type tag is … used, an error message is issued. … The warning messages … [provide] information about what occurred prior to the … is usually succinct and precise in showing the … [p. 221] The run-time types that are tracked are: … [p. 230] The slowdowns we observe in these benchmarks … of comparison, the slowdown factor for Purify tends … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: consistency testing (60 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)