| 
|
Quote: a vast amount of code is required to realize a programmer's intent, often concisely stated
Topic:
handling complexity
Topic:
the effect of scale
Topic:
decomposition of a system into levels
Topic:
what is a computer
Quotation Skeleton
[Microsoft Research's] correctness tools help close the gap that … realize that goal. … A huge amount of work remains if we're … and program analysis is well developed enough to … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use correctness tools to close the immense gap between code and intent
Topic: handling complexity (60 items)
Topic: the effect of scale (17 items)
Topic: decomposition of a system into levels (49 items)
Topic: what is a computer (62 items)