D. Gay and A. Aiken. Language Support and Compilation Techniques for Regions. Technical Report UCB//CSD-00-1115, EECS Department, University of California, Berkeley, Nov. 2000.  Home/Search   Document Not in Database   Summary   Related Articles

....itself qualified with deletes. We investigated a more elaborate (and optimal) scheme for placing reference count increments and decrements for local variables, but found it had little benefit (and sometimes a substantial compile time cost) over the approach outlined above. Details can be found in [7]. When deleting a region, references from the now dead region to other regions are removed by scanning all the objects in the region, using type information recorded when # = # ## #.# (types) region T [#1 , #m ] base types) # = # R # (region expressions) # = # # ....

....holds for the actual region expressions and f s result must be assignable to the call s destination. We have proved the soundness of our type system, based on a natural operational semantics for rlang and a definition of consistency of typed values with the heap. The details and proof are in [7]. 4.3 Translating RC to the Region Type System There are severals ways RC can be translated to rlang. For instance, one could apply a region inference like algorithm [13] to RC programs, representing the results in rlang, in an attempt to find a very precise description of the program s region ....

D. Gay and A. Aiken. Language Support and Compilation Techniques for Regions. Technical Report UCB//CSD-00-1115, EECS Department, University of California, Berkeley, Nov. 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC