@INPROCEEDINGS{SYKM:SAS03,
  AUTHOR =       "R. Shaham and E. Yahav and E.K. Kolodner and Mooly Sagiv",
  TITLE =        "Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management",
  BOOKTITLE =    "Proc. of Static Analysis Symposium (SAS'03)",
  YEAR =         "2003",
  volume =       "2694",
  series =       "LNCS",
  pages =        "483--503",
  month =        "June",
  publisher =    "Springer",
}