Title :
Region analysis and the polymorphic lambda calculus
Author :
Banerjee, Anindya ; Heintze, Nevin ; Riecke, Jon G.
Author_Institution :
Stevens Inst. of Technol., Hoboken, NJ, USA
fDate :
6/21/1905 12:00:00 AM
Abstract :
We show how to translate the region calculus of M. Tofte and J.P. Talpin (1997), a typed lambda calculus that can statically delimit the lifetimes of objects, into an extension of the polymorphic lambda calculus called F#. We give a denotational semantics of F#, and use it to give a simple and abstract proof of the correctness of memory deallocation
Keywords :
lambda calculus; programming language semantics; type theory; denotational semantics; memory deallocation correctness; polymorphic lambda calculus; region analysis; region calculus; typed lambda calculus; Calculus; Computer languages; Electrical capacitance tomography; Memory management;
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Print_ISBN :
0-7695-0158-3
DOI :
10.1109/LICS.1999.782594
