Exceptions in Ownership Type Systems
نویسندگان
چکیده
Ownership type systems are used to structure the object store into contexts and to restrict references between contexts. How to handle exceptions in these type systems has not been described in the literature. In this paper we analyze four viable designs for supporting exceptions in ownership type systems: (1) cloning exception objects during propagation; (2) using unique references to transfer exceptions between contexts during propagation; (3) treating exceptions as global data; (4) handling exceptions by read-only references that may cross context boundaries. We briefly describe our implementation of the fourth approach in the Universe type system.
منابع مشابه
Inference and Checking of Object Ownership
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two s...
متن کاملObject Graphs with Ownership Domains: An Empirical Study
Researchers have proposed many ownership type systems but reported limited experience with most of them on real object-oriented code. Only a few systems have been implemented, and there have been few substantial case studies done with those systems. In order to better empirically evaluate ownership type systems, we have therefore conducted a number of case studies applying the Ownership Domains...
متن کاملOwnership Type Systems and Dependent Classes
Ownership type systems structure the heap and enforce restrictions on the behavior of a program. Benefits of ownership type systems include simplified program verification, absence of race conditions and deadlocks, and enforcement of architectural styles. Dependent classes are a generalization of virtual class systems that allows one class to depend on multiple objects. Dependency is expressed ...
متن کاملOwnership in Design Patterns
Ownership is the concept of structuring the object store into different contexts by enabling objects to be the owner of other objects. All objects with the same owner are said to be in the same context. Restricting aliasing of objects in other contexts enables local reasoning about code correctness and simplifies comprehension and maintenance of program code. So far, different ownership type sy...
متن کاملTax Avoidance and Institutional Ownership: Active vs. Passive Ownership
Income tax is one of the most important costs of companies and it is usually considered as a cost that should not be paid. One of the most noticeable and influential factors in tax avoidance is corporate ownership structure. With an emphasis on institutional ownership and its types in this paper, it is attempted to measure the effect of this ownership and its types on corporate tax avoidance. F...
متن کامل