The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We present a programming language, model, and logic appropriate for implementing and reasoning about a memory management system. We then state what is meant by correctness of a copying garbage collector, and employ a variant of the novel separation logics [18, 23] to formally specify partial correctness of Cheney's copying garbage collector [8]. Finally, we prove that our implementation of Cheney's algorithm meets its specification, using the logic we have given, and auxiliary variables [19].
@article{birkedal2004local,
title = {Local reasoning about a copying garbage collector},
author = {Lars Birkedal and Noah Torp-Smith and John C. Reynolds},
year = {2004},
journal = {ACM SIGPLAN Notices},
publisher = {Association for Computing Machinery},
volume = {39},
number = {1},
pages = {220--231},
doi = {10.1145/982962.964020},
}