A logic of object-oriented programs
The work
| Title | A logic of object-oriented programs |
|---|---|
| Authors | Martín Abadi; K. Rustan M. Leino |
| Type | conference paper |
| Year | 1997 |
| Citekey | abadi1997logic |
Where it appeared
| Published in | TAPSOFT '97: Theory and Practice of Software Development |
|---|---|
| Publisher | Springer |
| Pages | 682--696 |
Identifiers
| DOI | 10.1007/bfb0030634 |
|---|---|
| OpenAlex | W1945350451 |
Access
| Landing page | https://doi.org/10.1007/bfb0030634 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007/BFb0030634.pdf |
Copy held
| Kind | PDF, 802.7 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
| Where it came from | https://link.springer.com/content/pdf/10.1007/BFb0030634.pdf?error=cookies_not_supported&code=b9d4436a-8730-45cd-a9b4-9b65306911c0 |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{abadi1997logic,
title = {A logic of object-oriented programs},
author = {Martín Abadi and K. Rustan M. Leino},
year = {1997},
booktitle = {TAPSOFT '97: Theory and Practice of Software Development},
pages = {682--696},
publisher = {Springer},
doi = {10.1007/bfb0030634},
url = {https://link.springer.com/content/pdf/10.1007/BFb0030634.pdf},
}
This record lives at https://refs.drheap.org/abadi1997logic/ and will keep doing so.