Linear capabilities for fully abstract compilation of separation-logic-verified code

Publication:

2019

Journal article

Author(s)

;

;

Proceedings of the ACM on Programming Languages

1880 since deposited on 2021-10-27

Acq. date: 2026-01-27