Publications

Establishing local temporal heap safety properties with applications to compile-time memory management

• • Ran Shaham
  • Eran Yahav
  • et al.
• 2005
• Science of Computer Programming