assignment form and the control dependence graph have been proposed to represent data flow and control flow propertiee of programs. Each of these previously unrelated techniques lends efficiency and power to a useful class of program optimization. Although both of these structures are attractive

In this paper we present an intermediate program representation, called the program dependence graph (PDG), that makes explicit both the data and control dependence5 for each operation in a program. Data dependences have been used to represent only the relevant data flow relationships of a program

comparable procedures which control the traditional familywise error rate. We prove that this same procedure also controls the false discovery rate when the test statistics have positive regression dependency on each of the test statistics corresponding to the true null hypotheses. This condition

This paper examines whether nancial development facilitates economic growth by scrutinizing one rationale for such a relationship; that nancial development reduces the costs of external nance to rms. Speci cally, we ask whether industrial sectors that are relatively more in need of external nance develop disproportionately faster in countries with more developed nancial markets. We nd this to be true in a large sample of countries over the 1980s. We show this result is unlikely to be driven by omitted variables, outliers, or reverse causality. (JEL O4, F3, G1) A large literature, dating at least as far back as Joseph A. Schumpeter (1911), emphasizes the positive in uence of the development of a country's nancial sector on the level and the rate of growth of its per capita income. The argument essentially is that the services the nancial sector provides { of reallocating capital to the highest value use without substantial risk of loss through moral hazard, adverse selection, or transactions costs { are an essential catalyst of economic growth. Empirical work seems consistent with this argument. For example, on the

... This paper concerns the problem of interprocedural slicing---generating a slice of an entire program, where the slice crosses the boundaries of procedure calls. To solve this problem, we introduce a new kind of graph to represent programs, called a system dependence graph, which extends

This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, in addition to availability and integrity. Basic

Abstract not found

multi-input, multi-output feed-back control design for linear systems using the paradigms, theory, and tools of robust con-trol that have arisen during the past two decades. The book is aimed at graduate students and practicing engineers who have a basic knowledge of classical con-trol design

Most current approaches to concurrency control in database systems rely on locking of data objects as a control mechanism. In this paper, two families of nonlocking concurrency controls are presented. The methods used are “optimistic ” in the sense that they rely mainly on transaction backup as a

This paper analyzes the survival of organizations in which decision agents do not bear a major share of the wealth effects of their decisions. This is what the literature on large corporations calls separation of “ownership” and “control.” Such separation of decision and risk bearing