Quote: type checking authenticates valid types prior to processing and keeps secret the procedures that implement the type

topics > all references > references m-o > QuoteRef: morrJH10_1973 , p. 120

type checking

Quotation Skeleton

Type checking seems to serve two distinct purposes: … [A programmer of an abstract data type needs] the aid of a type system to … [of users of the data type.] First, users of his programs may ask them to operate … to process. This is the authentication problem. … Second, users may write programs that depend upon … the secrecy problem. Type checking is a way … (1) Only values of that type can be … type (secrecy).   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics up

Group: type checking   (12 topics, 385 quotes)

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