New Foundations for Separation Logic (Coq artifact)
The work
| Authors | Hans-Dieter Hiep |
|---|---|
| Editors | |
| Type | misc |
| Year | 2024 |
| Citekey | hiep2024foundations |
Where it appeared
| Publisher | Zenodo |
|---|
Identifiers
| DOI | 10.5281/zenodo.10558424 |
|---|---|
| OpenAlex | W6967370434 |
Access
| Landing page | https://doi.org/10.5281/zenodo.10558424 |
|---|
Settled
| Container | A Zenodo deposit of a Coq artifact stands on its own; the platform is not a work containing it (#82). The article the artifact belongs to is the thing with a container, and it is a separate record. |
|---|---|
| Copy | carried in from a corpus that recorded no reason |
Related
| Distinct from | hiep2024separation |
|---|
Abstract
This is the Coq formalization artifact accompanying the thesis with the title "New Foundations for Separation Logic".
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-30 00:19 UTC |
Filed under
Cite it as
@misc{hiep2024foundations,
title = {New Foundations for Separation Logic (Coq artifact)},
author = {Hans-Dieter Hiep},
year = {2024},
publisher = {Zenodo},
doi = {10.5281/zenodo.10558424},
}
This record lives at https://refs.drheap.org/hiep2024foundations/ and will keep doing so.