Checking ownership and confinement
نویسندگان
چکیده
منابع مشابه
Checking ownership and confinement
A number of proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. It is not clear how practical these proposals are, that is, how well they relate to the kinds of programs currently written in Java-like languages. To address this problem, we analysed heap snapshots from a corpus of Java programs. Our results indicate that object-oriented pr...
متن کامل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...
متن کاملTowards Effective Inference and Checking of Ownership Types
We present a checker for the owner-as-dominator type system. We add a flow analysis which performs type inference. Our checker allows programmers to annotate a subset of the variables, fields and/or allocation sites; the flow analysis fills in the remaining annotations, and the type checker checks the program. We have type checked two relatively large programs, javad and SPECjbb and present inf...
متن کاملDynamic Checking of Safe Concurrent Memory Access using Shared Ownership
In shared-memory concurrent programming, shared resources can be protected using synchronization mechanisms such as monitors or channels. The connection between these mechanisms and the resources they protect is, however, only given implicitly; this makes it difficult both for programmers to apply the mechanisms correctly and for compilers to check that resources are properly protected. This pa...
متن کامل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...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2004
ISSN: 1532-0626,1532-0634
DOI: 10.1002/cpe.799