Region Analysis and a -Calculus with Groups

  title={Region Analysis and a -Calculus with Groups},
  author={Silvano Dal Zilio and Andrew D. Gordon},
We show that the typed region calculus of Tofte and Talpin can be encoded in a typed -calculus equipped with name groups and a novel e ect analysis. In the region calculus, each boxed value has a statically determined region in which it is stored. Regions are allocated and deallocated according to a stack discipline, thus improving memory management. The idea of name groups arose in the typed ambient calculus of Cardelli, Ghelli, and Gordon. There, and in our -calculus, each name has a… CONTINUE READING
12 Citations
28 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 28 references

Region analysis and a -calculus with groups

  • S. Dal Zilio, A. D. Gordon
  • Technical Report MSR{TR{2000{57, Microsoft…
  • 2000
2 Excerpts

Similar Papers

Loading similar papers…