Spring til hovednavigation Spring til søgning Spring til hovedindhold

Local Reasoning about a Copying Garbage Collector

  • Noah Torp-Smith
  • , Lars Birkedal
  • , John C. Reynolds
    • Carnegie Mellon University

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Local Reasoning about a Copying Garbage Collector'. Sammen danner de et unikt fingeraftryk.
    Sorter

    Computer Science

    Keyphrases