Static Dominance Inference
نویسندگان
چکیده
Dominance, the property that all paths to a given object must go through another object, is at the heart of ownership type disciplines. While ownership types have received abundant attention, ownership inference remains an open problem, and crucial questions about the practical impact of ownership remain unanswered. We argue that a static program analysis that infers dominance is a crucial first step to ownership types inference. This paper describes an algorithm for statically computing dominance relations and shows that it can be used as part of an ownership inference algorithm.
منابع مشابه
AND ECONOMETRICS SEMINAR OF ECONOMIC AND SOCIAL STATISTICS UNIVERSITY OF COLOGNE No. 2/96 Nonparametric Inference for Second Order Stochastic Dominance by Friedrich Schmid
Abstract: This paper deals with nonparametric inference for second order stochastic dominance of two random variables. If their distribution functions are unknown they have to be inferred from observed realizations. Thus, any results on stochastic dominance are in uenced by sampling errors. We establish two methods to take the sampling error into account. The rst one is based on the asymptotic ...
متن کاملPopulation genetics of polymorphism and divergence for diploid selection models with arbitrary dominance.
We develop a Poisson random-field model of polymorphism and divergence that allows arbitrary dominance relations in a diploid context. This model provides a maximum-likelihood framework for estimating both selection and dominance parameters of new mutations using information on the frequency spectrum of sequence polymorphisms. This is the first DNA sequence-based estimator of the dominance para...
متن کاملAn Introduction to Inference and Learning in Bayesian Networks
Bayesian networks (BNs) are modern tools for modeling phenomena in dynamic and static systems and are used in different subjects such as disease diagnosis, weather forecasting, decision making and clustering. A BN is a graphical-probabilistic model which represents causal relations among random variables and consists of a directed acyclic graph and a set of conditional probabilities. Structure...
متن کاملComparative Study of Static and Dynamic Artificial Neural Network Models in Forecasting of Tehran Stock Exchange
During the recent decades, neural network models have been focused upon by researchers due to their more real performance and on this basis, different types of these models have been used in forecasting. Now, there is a question that which kind of these models has more explanatory power in forecasting the future processes of the stock. In line with this, the present paper made a comparison betw...
متن کاملThe effect of shoulder abduction angles, shoulder dominance and non-dominance and external loading on shoulder muscles co-contraction ratio in overhead athletes and non-athletes
The purpose of this study was to compare the effect of shoulder abduction angles, dominant and non-dominant arm and external loading on co-contraction ratio during arm abduction in scapular plane in overhead athletes and non-athletes. 10 swimmers, 10 handball players and 10 tennis players and ten non-athletes voluntarily participated in this study. Electromyography activity of shoulder muscles ...
متن کامل