Quote: allow static type checking by specifying the types, assigning a set of values for each type, and restricting 'seal', 'testseal', and 'unseal' to module boundaries

Quotation Skeleton

A considerable gain in clarity and efficiency can … created by the program, independent of the data. … … (c) Sealing, testing, and unsealing are performed only … the type checking (exclusive of union testing) can …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dynamic vs. static data type (19 items)
Topic: data type by access rights (20 items)