| 
|
Quote: store run-time type information in a mirror of memory, 4 bits/byte; continuation bit, type, and size; two nibbles identifies an object
Topic:
execution profile
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
The run-time component of our tool is implemented … of memory maps to a four-bit nibble in … and three "data bits" encode the object's current … "data bits" encode (log_2 of) the size of … first eight bits (two nibbles) of their tags. … Pointers to these [1 MB] "mirror pages" are stored … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: execution profile (43 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)