Login / Signup

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.

Ran ShahamEran YahavElliot K. KolodnerShmuel Sagiv
Published in: SAS (2003)
Keyphrases
  • memory management
  • operating system
  • data structure
  • hardware implementation
  • garbage collection
  • integrity constraints
  • databases
  • neural network
  • nearest neighbor
  • computer systems
  • mobile agents
  • temporal databases