SRC Research Report 156

Wrestling with rep exposure

David L. Detlefs, K. Rustan M. Leino, Greg Nelson

A central methodological problem in programming with multiple levels of abstractions is the loosely defined problem of rep exposure. This paper traces the problem of rep exposure to the precisely defined notion of abstract aliasing. The paper also outlines a statically-enforceable discipline for avoiding abstract aliasing, but the outline is incomplete.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 120 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 104 Kbytes
  
• PostScript compressed with ZIP -- 104 Kbytes
  
• PostScript -- 208 Kbytes
  
• Portable Document Format (PDF) -- 80 Kbytes