| 
|
Quote: NIL's typestate interfaces meant that system testing did not reveal new errors in unit-testing; locality of errors was assured
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
error safe systems
Topic:
interface between program modules
Topic:
incremental testing
ThesaHelp:
lost quotations
Quotation Skeleton
The most dramatic result of our experience with … [and typestates] … integrated with other modules. … With NIL, we acquired confidence in the locality … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: error safe systems (75 items)
Topic: interface between program modules (55 items)
Topic: incremental testing (25 items)
ThesaHelp: lost quotations (15 items)