• DocumentCode
    2178503
  • Title

    An efficient parallel garbage collection system and ITS correctness proof

  • Author

    Kung, H.T. ; Song, S.W.

  • fYear
    1977
  • fDate
    Oct. 31 1977-Nov. 2 1977
  • Firstpage
    120
  • Lastpage
    131
  • Keywords
    Computer science; Data structures; Topology; Upper bound; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1977., 18th Annual Symposium on
  • Conference_Location
    Providence, RI, USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1977.5
  • Filename
    4567934