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.
Scalable Shape Analysis for Systems Code
The work
| Authors | Hongseok Yang; Oukseh Lee; Josh Berdine; Cristiano Calcagno; Byron Cook; Dino Distefano; Peter W. O’Hearn |
|---|---|
| Editors | |
| Type | misc |
| Year | 2008 |
| Citekey | yang2008scalable |
Where it appeared
| Published in | Lecture notes in computer science |
|---|---|
| Publisher | Springer Science+Business Media |
| Pages | 385--398 |
Identifiers
| DOI | 10.1007/978-3-540-70545-1_36 |
|---|---|
| OpenAlex | W1508482211 |
Access
| Landing page | https://doi.org/10.1007/978-3-540-70545-1_36 |
|---|
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 18:00 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{yang2008scalable,
title = {Scalable Shape Analysis for Systems Code},
author = {Hongseok Yang and Oukseh Lee and Josh Berdine and Cristiano Calcagno and Byron Cook and Dino Distefano and Peter W. O’Hearn},
year = {2008},
journal = {Lecture notes in computer science},
publisher = {Springer Science+Business Media},
pages = {385--398},
doi = {10.1007/978-3-540-70545-1_36},
}
This record lives at https://refs.drheap.org/yang2008scalable/ and will keep doing so.