About this document
Reference Counting in Linear Logic by bromlant is a document available to read on EtoBox.
This document proposes a formal interpretation of linear logic as reference counting in a computational model. It develops an operational semantics to represent memory usage at an abstract level, and defines a programming language based on linear logic. The semantics precisely relates type correctness in this language to the correctness of a reference counting interpretation of its primitives for manipulating linear values. This enables formulating and proving properties about possible runtime reference cou
- Author
- bromlant
- Language
- EN