Establishing local temporal heap safety properties with applications to compile-time memory managementRan ShahamEran Yahavet al.2005Science of Computer Programming
