Concepedia

Abstract Garbage Collection

Abstract Garbage Collection is a formal method in program analysis that belongs to the class of abstract interpretation techniques, distinguished by its specification of abstract memory states and operations to approximate the reachability and liveness of heap-allocated objects in order to safely identify and collect unreachable memory at the abstract level.

11

Publications

625

Citations

12

Authors

14

Institutions

Publications per year

2017–2026

0

Parents

Publications

11

Simple generational garbage collection and fast allocation

Andrew W. Appel · Software Practice and Experience · 1989 · 305 citations

, , +14

Improving flow analyses via ΓCFA

Matthew Might, Olin Shivers · 2006 · 102 citations

, , +11

Introspective pushdown analysis of higher-order programs

Christopher Earl, Ilya Sergey, Matthew Might et al. · 2012 · 49 citations

, , +12

Correctness-preserving derivation of concurrent garbage collection algorithms

Martin Vechev, Eran Yahav, David F. Bacon · ACM SIGPLAN Notices · 2006 · 35 citations

, , +16

A semi‐incremental garbage collection algorithm

R. J. M. Hughes · Software Practice and Experience · 1982 · 27 citations

, , +12

1–5 of 11

Authors

12

  1. MM
    Matthew Might

    University of Utah, United States

    4 publications · 187 citations

    4

    h-index

  2. OS
    Olin Shivers

    Georgia Institute of Technology, United States

    3 publications · 138 citations

    3

    h-index

  3. DF
    David F. Bacon

    IBM (United States), United States

    2 publications · 62 citations

    2

    h-index

  4. EY
    Eran Yahav

    Technion – Israel Institute of Technology, Israel

    2 publications · 62 citations

    2

    h-index

  5. MV
    Martin Vechev

    ETH Zurich, Switzerland

    2 publications · 62 citations

    2

    h-index

1–5 of 12

Institutions

14

  1. Northeastern University

    Boston, United States

    4 h-index

    4 publications

    182 citations

  2. Universidad del Noreste

    Tampico, Mexico

    2 h-index

    2 publications

    120 citations

  3. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    2 publications

    120 citations

  4. Bridge University

    Juba, South Sudan

    2 h-index

    2 publications

    62 citations

  5. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    62 citations

  6. University of Utah

    Salt Lake City, United States

    2 h-index

    4 publications

    124 citations

  7. University of Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    27 citations

  8. Oxford Research Group

    London, United Kingdom

    1 h-index

    1 publications

    27 citations

1–8 of 14

Venues

  1. Journal of Functional Programming

    2 publications · 31 citations

    2

    h-index

  2. ACM SIGPLAN Notices

    2 publications · 53 citations

    2

    h-index

  3. Software Practice and Experience

    2 publications · 332 citations

    2

    h-index

  4. UCL Discovery (University College London)

    Repository · 1 publications · 16 citations

    1

    h-index

  5. Minds at UW (University of Wisconsin)

    Repository · 1 publications · 15 citations

    1

    h-index

1–5