Clarke, D., Wrigstad, T.: External uniqueness. In Pierce, B.C., ed.: Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages 2003 (FOOL 10). (2003) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Type System for Safe Region-Based Memory.. - Salcianu.. (2002) (Correct)
....subtyping, multithreaded programs with shared regions, or real time programs with real time threads. Moreover, we can augment our system with linear types and other techniques used in the above systems. In fact, other systems have already combined ownership based type systems and unique pointers [12, 9, 3]. RegJava [11] describes a region type system for objectoriented programs that handles subtyping and method overriding. We improve on this by combining the benefits of ownership types and region types in a unified framework. Cyclone [28] is a dialect of C with a region type system. An extension ....
D. Clarke and T. Wrigstad. External uniqueness. September 2002.
Towards a Model of Encapsulation - Noble, Biddle, Tempero, Potanin.. (2 citations) Self-citation (Clarke) (Correct)
No context found.
Dave Clarke and Tobias Wrigstrad. External uniqueness. In Foundations of Object-Oriented Languages (FOOL), 2003.
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Clarke, D., Wrigstad, T.: External uniqueness. In Pierce, B.C., ed.: Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages 2003 (FOOL 10). (2003)
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) (Correct)
No context found.
D. G. Clarke and T. Wrigstad. External uniqueness. In Workshop on Foundations of Object-Oriented Languages (FOOL), January 2003.
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