Reference counting as a computational interpretation of linear logic Export

@article{citeulike:4053008, abstract = {We develop an operational model for a language based on linear logic. Our semantics is enough to express sharing and copying while still being enough to abstract away from details of memory layout, and thus can be used to test potential applications of linear logic for analysis of programs. In particular, we demonstrate a precise relationship between type correctness for the linear-logic-based language and the correctness of a reference-counting interpretation of the primitives, and formulate and prove a result describing the possible run-time reference counts of values of linear type.}, author = {Chirimar, Jawahar and Gunter, Carl A. and Riecke, Jon G.}, citeulike-article-id = {4053008}, citeulike-linkout-0 = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1350092}, citeulike-linkout-1 = {http://dx.doi.org/10.1017/S0956796800001660}, citeulike-linkout-2 = {https://eprints.kfupm.edu.sa/61684/}, comment = {昔のブックマークより。}, doi = {10.1017/S0956796800001660}, journal = {Journal of Functional Programming}, keywords = {garbage-collection, linear-logic}, number = {02}, pages = {195--244}, posted-at = {2009-02-15 09:35:58}, priority = {2}, title = {Reference counting as a computational interpretation of linear logic}, url = {http://dx.doi.org/10.1017/S0956796800001660}, volume = {6}, year = {1996} }

TY - JOUR ID - citeulike:4053008 L3 - citeulike-article-id:4053008 N2 - We develop an operational model for a language based on linear logic. Our semantics is enough to express sharing and copying while still being enough to abstract away from details of memory layout, and thus can be used to test potential applications of linear logic for analysis of programs. In particular, we demonstrate a precise relationship between type correctness for the linear-logic-based language and the correctness of a reference-counting interpretation of the primitives, and formulate and prove a result describing the possible run-time reference counts of values of linear type. IS - 02 JF - Journal of Functional Programming EP - 244 TI - Reference counting as a computational interpretation of linear logic VL - 6 SP - 195 KW - garbage-collection KW - linear-logic N1 - 昔のブックマークより。 AU - Chirimar, Jawahar AU - Gunter, Carl AU - Riecke, Jon PY - 1996/// UR - http://dx.doi.org/10.1017/S0956796800001660 ER -