Type Theory For Memory Allocation And Data Layout
Type Theory For Memory Allocation And Data LayoutA Type Theory for Memory Allocation and Data Layout, by Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfennig at Canegie Mellon Univerisity. Availble at http://www-2.cs.cmu.edu/~rwh/papers/ordered/popl.pdf
An interesting paper on how to put reconcile low-level physical memory layout details of objects within a high-level (and safe) typing framework.
CategoryPaper CategoryTyping?
EditText of this page
(last edited May 12, 2004)
or FindPage with title or text search