Map
Index
Random
Help
th

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

QuoteRef: rugiR4_2001 , p. 151



Topic:
type-safe and secure languages
Topic:
flavor analysis and typestates for supplementary type checking

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 up

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

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