Semantics of Memory Management for Polymorphic Languages Export

@incollection{citeulike:547121, abstract = {We present a static and dynamic semantics for an abstract machine that evaluates expressions of a polymorphic programming language. Unlike traditional semantics, our abstract machine exposes many important issues of memory management, such as value sharing and control representation. We prove the soundness of the static semantics with respect to the dynamic semantics using traditional techniques. We then show how these same techniques may be used to establish the soundness of various memory...}, author = {Morrisett, Greg and Harper, Robert}, booktitle = {Higer Order Operational Techniques in Semantics}, citeulike-article-id = {547121}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.9873}, editor = {Gordon, A. and Pitts, A.}, keywords = {memory-management}, posted-at = {2006-03-11 02:20:27}, priority = {3}, publisher = {Newton Institute, Cambridge University Press}, title = {Semantics of Memory Management for Polymorphic Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.9873}, year = {1997} }

TY - CHAP ID - citeulike:547121 L3 - citeulike-article-id:547121 N2 - We present a static and dynamic semantics for an abstract machine that evaluates expressions of a polymorphic programming language. Unlike traditional semantics, our abstract machine exposes many important issues of memory management, such as value sharing and control representation. We prove the soundness of the static semantics with respect to the dynamic semantics using traditional techniques. We then show how these same techniques may be used to establish the soundness of various memory... TI - Semantics of Memory Management for Polymorphic Languages PB - Newton Institute, Cambridge University Press T2 - Higer Order Operational Techniques in Semantics KW - memory-management AU - Morrisett, Greg AU - Harper, Robert A2 - Gordon, A A2 - Pitts, A PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.9873 ER -