| 
|
Quote: use display mechanism for run-time access to extended type descriptors; construct at compile time
topics >
all references >
references c-d >
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.
Topic: dynamic type checking (43 items)
Topic: type reflection and introspection (28 items)
Topic: restricted and extended types (34 items)