Map
Index
Random
Help
th

Quote: use display mechanism for run-time access to extended type descriptors; construct at compile time

topics > all references > references c-d > QuoteRef: coheNH10_1991 , p. 627



Topic:
dynamic type checking
Topic:
type reflection and introspection
Topic:
restricted and extended types

Quotation Skeleton

In our adaptation [of Dijkstra's display mechanism to type extensions], the descriptor for a … [indexed by type extension depth]. Directly indexing an element of this display obviates the need … the displays used for type tests can be … [p. 629] Assume that the display included in a … depth of the described type in the type-extension … [base_types is an array of descriptor pointers indexed by base type depth].   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: dynamic type checking (43 items)
Topic: type reflection and introspection (28 items)
Topic: restricted and extended types (34 items)

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