Steensgaard

Reference: B. Steensgaard. Points-to analysis in almost linear time. POPL, 1996.1

Type system

  1. B. Steensgaard. Points-to analysis in almost linear time. POPL, 1996. ↩
Created Jul 30, 2019 // Last Updated Aug 31, 2020

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?