Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Standard

Reasoning About a Machine with Local Capabilities : Provably Safe Stack and Return Pointer Management. / Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars.

In: A C M Transactions on Programming Languages and Systems, Vol. 41, No. 4, 5, 2019.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Harvard

Skorstengaard, L, Devriese, D & Birkedal, L 2019, 'Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management', A C M Transactions on Programming Languages and Systems, vol. 41, no. 4, 5. https://doi.org/10.1145/3363519

APA

Skorstengaard, L., Devriese, D., & Birkedal, L. (2019). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems, 41(4), [5]. https://doi.org/10.1145/3363519

CBE

Skorstengaard L, Devriese D, Birkedal L. 2019. Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems. 41(4):Article 5. https://doi.org/10.1145/3363519

MLA

Skorstengaard, Lau, Dominique Devriese, and Lars Birkedal. "Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management". A C M Transactions on Programming Languages and Systems. 2019. 41(4). https://doi.org/10.1145/3363519

Vancouver

Skorstengaard L, Devriese D, Birkedal L. Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems. 2019;41(4). 5. https://doi.org/10.1145/3363519

Author

Skorstengaard, Lau ; Devriese, Dominique ; Birkedal, Lars. / Reasoning About a Machine with Local Capabilities : Provably Safe Stack and Return Pointer Management. In: A C M Transactions on Programming Languages and Systems. 2019 ; Vol. 41, No. 4.

Bibtex

@article{3e147992bf9744959baa38622d0efcba,
title = "Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management",
author = "Lau Skorstengaard and Dominique Devriese and Lars Birkedal",
year = "2019",
doi = "10.1145/3363519",
language = "English",
volume = "41",
journal = "A C M Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery, Inc.",
number = "4",

}

RIS

TY - JOUR

T1 - Reasoning About a Machine with Local Capabilities

T2 - Provably Safe Stack and Return Pointer Management

AU - Skorstengaard, Lau

AU - Devriese, Dominique

AU - Birkedal, Lars

PY - 2019

Y1 - 2019

U2 - 10.1145/3363519

DO - 10.1145/3363519

M3 - Journal article

VL - 41

JO - A C M Transactions on Programming Languages and Systems

JF - A C M Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 4

M1 - 5

ER -