Walker, D., Watkins, K.: On regions and linear types. In: Proc. International Conference on Functional Programming. (2001) 181--192 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Region-Based Memory Management for Real-Time Java - Beebee, Jr. (2001) (2 citations) (Correct)
....for each object based on lexical analysis of a single threaded program. Unfortunately, simply extending this approach to multi threaded programs may cause memory leaks. If two threads share the same region, the region must be located at the top of the stack and live for the duration of the program [11]. Contaminated garbage collection uses stacks of regions and dynamic region inference instead of static region inference [4] An assignment of a eld of an object contained in a region with a longer lifetime to point to an object contained in a region with a shorter lifetime can cause the object ....
D. Walker and K. Watkins. On regions and linear types. To appear in the ACM SIGPLAN International Conference on Functional Programming, September 2001. 82
A Linearly Typed Assembly Language - Cheney, Morrisett (1 citation) (Correct)
....polymorphism nor higher order functions. Previous proposals for typed resource conscious intermediate and low level languages include Walker, Crary, and Morrisett s Capability Calculus [29] Smith, Walker and Morrisett s Alias Types [25, 30] and Walker and Watkins linear region calculus [31]. These systems are clearly more powerful than LTAL while permitting some form of direct control over memory. However, all these techniques are disappointingly complex: each involves some combination of type level named memory locations, singleton name types, and bounded quanti cation. Yet none ....
....[25, 30] a very powerful but complex approach to dealing with aliasing. In Wadler s approach to linear typing [27] linear values may be temporarily shared using a let operator, as long as aliases to them do not escape from the body of the expression. Walker and Watkins linear region calculus [31] focuses on tracking regions rather than individual cells, but includes a sharing operation similar to let that uses typelevel region names to guarantee that aliases cannot escape. There are additional variations on this theme in the Vault, Clean, and Cyclone programming languages [9, 10, 22] ....
David Walker and Kevin Watkins. On regions and linear types. In Proc. Int. Conference on Functional Programming, pages 181-192, 2001.
An Equational Theory for a Region Calculus - Revised - Helsen (2002) (Correct)
....garbage collection obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26,30,54] In addition, many di erent avors of the region calculus have been developed [4, 9, 12, 13, 20, 23, 55, 56], usually to cater for more exible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, which, henceforth, is being referred to as the tt calculus. Whereas type soundness properties for region calculi have been extensively examined [5, 8, ....
David Walker and Kevin Watkins. On regions and linear types. In Xavier Leroy, editor, Proceedings of the 2001.
Region-Based Memory Management in Cyclone - Grossman, Morrisett, Jim.. (60 citations) (Correct)
....garbage collection within regions [16] A number of extensions to the basic Tofte Talpin framework can avoid the constraints of LIFO region lifetimes. As examples, the ML Kit includes a reset region primitive [27] Aiken et al. provide an analysis to free some regions early [1] and Walker et al. [29, 30] propose general systems for freeing regions based on linear types. All of these systems are more expressive than our framework. For instance, the ideas in the Capability Calculus were used to implement type safe garbage collectors within a language [31, 23] However, these systems were not ....
D. Walker and K. Watkins. On regions and linear types. In Sixth ACM International Conference on Functional Programming, pages 181--192, Florence, Italy, Sept. 2001.
An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
....collection to obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26, 28, 52] In addition, many di#erent flavors of the region calculus have been developed [4,9,12,13,20,23,53,54], usually to cater for more flexible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, which, henceforth, is being referred to as # . Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 51, 56] ....
David Walker and Kevin Watkins. On regions and linear types. In Xavier Leroy, editor, Proc. International Conference on Functional Programming 2001, pages 181--192, Florence, Italy, September 2001. ACM Press, New York.
An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
....collection to obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26, 28, 52] In addition, many di erent avors of the region calculus have been developed [4,9,12,13,20,23,53,54], usually to cater for more exible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, which, henceforth, is being referred to as . Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 51, 56] ....
David Walker and Kevin Watkins. On regions and linear types. In Xavier Leroy, editor, Proc. International Conference on Functional Programming 2001, pages 181-192, Florence, Italy, September 2001. ACM Press, New York.
Formal Type Soundness for Cyclone's Region System - Grossman, Morrisett, Jim.. (2001) (Correct)
....collection within regions [14] A number of extensions to the basic Tofte Talpin framework can avoid the constraints of LIFO region lifetimes. As examples, the ML Kit includes a reset region primitive [21] Aiken et al. provide 16 an analysis to free some regions early [1] and Walker et al. [23, 24] propose general systems for freeing regions based on linear types. All of these systems are more expressive than our framework. For instance, the ideas in the Capability Calculus were used to implement type safe garbage collectors within a language [25, 18] However, these systems were not ....
D. Walker and K. Watkins. On regions and linear types. In ACM International Conference on Functional Programming, pages 181--192, Sept. 2001.
An Operational Theory for a Region Calculus - Helsen (2001) (Correct)
....The most widely used avor of a region calculus is the one by Tofte and Talpin [46] which we will refer to as the region calculus henceforth. However, it should be noted that liberal versions of this region calculus [46] are under consideration to allow more exible and powerful memory management [4, 12, 48, 49]. Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 46, 51] little attention has been paid to the development of a semantic framework to reason about region annotated programs. 1.1 Contribution and related work In this paper, we develop a typed ....
David Walker and Kevin Watkins. On regions and linear types. In Xavier Leroy, editor, Proc. International Conference on Functional Programming
High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov Self-citation (Walker) (Correct)
No context found.
D. Walker and K. Watkins. On regions and linear types. In ACM SIGPLAN International Conference on Functional Programming, Florence, Italy, Sept. 2001.
Enforcing Resource Usage Protocols via Scoped Methods - Tan, Ou, Walker (2003) Self-citation (Walker) (Correct)
No context found.
David Walker and Kevin Watkins. On regions and linear types. In ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001. 14
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
No context found.
Walker, D., Watkins, K.: On regions and linear types. In: Proc. International Conference on Functional Programming. (2001) 181--192
Region Inference for an Object-Oriented Language - Chin, Craciun, Qin, Rinard (2004) (Correct)
No context found.
D. Walker and K. Watkins. On regions and linear types (extended abstract). In ACM ICFP, pages 181--192. ACM Press, 2001.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
David Walker and Kevin Watkins. On Regions and Linear Types. In Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming, pages 181--192, Florence, Italy, September 2001.
Technical Report - Number Computer Laboratory (1993) (2 citations) (Correct)
No context found.
Walker, D., and Watkins, K. On regions and linear types. In International Conference on Functional Programming (2001), ACM press, pp. 181--192.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
David Walker and Kevin Watkins. On regions and linear types. In 6th ACM International Conference on Functional Programming, pages 181--192, Florence, Italy, September 2001.
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
David Walker and Kevin Watkins. On regions and linear types (extended abstract). In Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, pages 181--192. ACM Press, 2001.
Low-Level Linear Memory Management - Hawblitzel, Huang, Krupski, Wei (2002) (2 citations) (Correct)
No context found.
David Walker and Kevin Watkins. On regions and linear types (extended abstract). In Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, pages 181--192. ACM Press, 2001.
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