Login / Signup

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

Ran ShahamEran YahavElliot K. KolodnerMooly Sagiv
Published in: Sci. Comput. Program. (2005)
Keyphrases
  • memory management
  • operating system
  • garbage collection
  • data structure
  • temporal databases
  • hardware implementation
  • database
  • integrity constraints
  • computing environments