STATIC SOFTWARE CC SCHEMES

• The C.mmp page marking

  • Carnegie-Mellon University [WULF72]

• The Ultracomputer program structure analysis

  • NYU [GOTTL82, GOTTL83, EDLER85, MCAUL86]

• The RP3 flexible data invalidation

  • IBM T.J.Watson Research Center [BRANT85], [PFIST85]

• Cache on/off control

  • University of Illinois [VEIDE86]

• Program analysis and reference marking

  • University of Illinois [LEE87a, LEE87b]
• Fast selective invalidation
  • University of Illinois [CHEON88]