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

Publication:

2019

Journal article

Author(s)

;

;

Proceedings of the ACM on Programming Languages

1883 since deposited on 2021-10-27

2last month

2last week

Acq. date: 2026-10-08