A denotationally-based program logic for higher-order store

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

4 Downloads (Pure)

Originalsprog	Engelsk
Tidsskrift	Electronic Notes in Theorical Informatics and Computer Science
Vol/bind	3
ISSN	2969-2431
DOI	https://doi.org/10.46298/entics.12232
Status	Udgivet - 2023

Adgang til dokumentet

@inproceedings{96bbbc7539aa4a1d96dd7aa749a4648c,

title = "A denotationally-based program logic for higher-order store",

author = "Aagaard, {Frederik Lerbjerg} and Jonathan Sterling and Lars Birkedal",

year = "2023",

doi = "10.46298/entics.12232",

language = "English",

volume = "3",

journal = "Electronic Notes in Theorical Informatics and Computer Science",

issn = "2969-2431",

publisher = "Episciences.org",

}

TY - GEN

T1 - A denotationally-based program logic for higher-order store

AU - Aagaard, Frederik Lerbjerg

AU - Sterling, Jonathan

AU - Birkedal, Lars

PY - 2023

Y1 - 2023

U2 - 10.46298/entics.12232

DO - 10.46298/entics.12232

M3 - Conference article

SN - 2969-2431

VL - 3

JO - Electronic Notes in Theorical Informatics and Computer Science

JF - Electronic Notes in Theorical Informatics and Computer Science

ER -