Map
Index
Random
Help
th

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 > QuoteRef: stroRE5_1985 , p. 196



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.


Related Topics up

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)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.