Region Analysis and the Polymorphic Lambda Calculus

Region Analysis and the Polymorphic Lambda Calculus (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Anindya Banerjee , Nevin Heintze , Jon G. Riecke

Venue:	In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science
Citations:	28 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Region Analysis and the Polymorphic Lambda Calculus	user correction - Legacy Corrections
AUTHOR NAME	Anindya Banerjee	user correction - Legacy Corrections
AUTHOR AFFIL	Stevens Institute of Technology	user correction - Legacy Corrections
AUTHOR NAME	Nevin Heintze	user correction - Legacy Corrections
AUTHOR AFFIL	Bell Laboratories	user correction - Legacy Corrections
AUTHOR NAME	Jon G. Riecke	user correction - Legacy Corrections
AUTHOR AFFIL	Bell Laboratories	user correction - Legacy Corrections
ABSTRACT	We show how to translate the region calculus of Tofte and Talpin, 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. 1 Introduction Implementations of modern programming languages divide dynamically allocated memory into two parts. The stack is used for data that has a simple last-in, first-out lifetime determined by block structure; the other part (often called the heap) is used for data whose lifetime extends beyond the scope of program blocks. The heap is periodically "garbage collected" to reclaim memory that is no longer needed. Tofte and Talpin's region calculus [23] attempts to unify these two styles of memory management. The region calculus divides memory into regions, and provides a local scoping mechanism for those regions. Every value created by the pro...	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	88--97	INFERENCE
CITATIONS	23 found	ParsCit 1.0