| 
|
Quote: avoid using annotations to guide the constraint solver; error-prone
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
constraints
Quotation Skeleton
Avoid annotations if possible: forcing a programmer to … find it burdensome to do so. If it … If it is mandatory, they will provide the … [p. 1296] Maintenance problems later arise because programmers often … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: constraints (35 items)