Quote: some values of composite types are invalid; need run-time checks, e.g., array bounds

Note

interpretation of composite types not necessarily a total function-- eg array with bounded indices. prevents type checking unless made total by adding and testing "undefined") (this must be done at run- time)

Related Topics

Topic: Thesa data structures (59 items)
Topic: dynamic type checking (43 items)
Topic: restricted and extended types (34 items)