Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Linear Regions Are All You Need Matthew Fluet1
 

Summary: Linear Regions Are All You Need
Matthew Fluet1
, Greg Morrisett2
, and Amal Ahmed2
1
Cornell University
Ithaca, NY
fluet@cs.cornell.edu
2
Harvard University
Cambridge, MA
greg@eecs.harvard.edu, amal@eecs.harvard.edu
Abstract. The type-and-effects system of the Tofte-Talpin region calcu-
lus makes it possible to safely reclaim objects without a garbage collector.
However, it requires that regions have last-in-first-out (LIFO) lifetimes
following the block structure of the language. We introduce rgnUL
, a core
calculus that is powerful enough to encode Tofte-Talpin-like languages,
and that eliminates the LIFO restriction. The target language has an
extremely simple, substructural type system. To prove the power of the

  

Source: Ahmed, Amal - School of Informatics, Indiana University
Fluet, Matthew - Department of Computer Engineering , Rochester Institute of Technology

 

Collections: Computer Technologies and Information Sciences