Quote: explicit specification of a procedure's design information documents the programmer's intent, allows compile-time checking, provides modularity, and enables lexical analysis and separate compilation

Quotation Skeleton

the explicit … specification of design information provides a range of … early by the compiler. Second, using design information … it is easier for the compiler to check … more efficient. … [p. 152] In effect, our approach extends the type …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type-safe and secure languages (43 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)