Reference Counting as a Computational Interpretation of Linear Logic Export

@article{chirimar96reference, abstract = {We develop formal methods for reasoning about memory usage at a level of abstraction suitable for establishing or refuting claims about the potential applications of linear logic for static analysis. In particular, we demonstrate a precise relationship between type correctness for a language based on linear logic and the correctness of a reference-counting interpretation of the primitives that the language draws from the rules for the `of course' operation. Our semantics is `low-level' enough...}, author = {Chirimar, Jawahar and Gunter, Carl A. and Riecke, Jon G.}, citeulike-article-id = {257336}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.8545}, journal = {Journal of Functional Programming}, keywords = {linear-logic, linearity, memory-management, reference-counting}, number = {2}, pages = {195--244}, posted-at = {2005-07-15 21:14:06}, priority = {5}, title = {Reference Counting as a Computational Interpretation of Linear Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.8545}, volume = {6}, year = {1996} }

TY - JOUR ID - chirimar96reference L3 - citeulike-article-id:257336 N2 - We develop formal methods for reasoning about memory usage at a level of abstraction suitable for establishing or refuting claims about the potential applications of linear logic for static analysis. In particular, we demonstrate a precise relationship between type correctness for a language based on linear logic and the correctness of a reference-counting interpretation of the primitives that the language draws from the rules for the `of course' operation. Our semantics is `low-level' enough... IS - 2 JF - Journal of Functional Programming EP - 244 TI - Reference Counting as a Computational Interpretation of Linear Logic VL - 6 SP - 195 KW - linear-logic KW - linearity KW - memory-management KW - reference-counting AU - Chirimar, Jawahar AU - Gunter, Carl AU - Riecke, Jon PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.8545 ER -