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

Publication:

2019

Journal article

Author(s)

;

;

Proceedings of the ACM on Programming Languages

1881 since deposited on 2021-10-27

1last month

Acq. date: 2026-03-18