Decision Procedure for Entailment of Symbolic Heaps with Arrays

This paper gives a decision procedure for the validity of en- tailment of symbolic heaps in separation logic with Presburger arithmetic and arrays. The correctness of the decision procedure is proved under the condition that sizes of arrays in the succedent are not existentially bound. This condition is independent of the condition proposed by the CADE-2017 paper by Brotherston et al, namely, one of them does not imply the other. For improving efficiency of the decision procedure, some techniques are also presented. The main idea of the decision procedure is a novel translation of an entailment of symbolic heaps into a formula in Presburger arithmetic, and to combine it with an external SMT solver. This paper also gives experimental results by an implementation, which shows that the decision procedure works efficiently enough to use

Integrating Macroeconomics and Corporate Finance in Executive Education

Executive education is increasingly using team teaching and an integrated approach to curriculum development and delivery. We outline one example of how economic policy and basic finance concepts can be connected. Specifically, we utilize a simple model to illustrate the impact that monetary and fiscal policy, via interest rate and tax rate changes, can have on the growth capacity and dividend paying capacity of the firm

Primary Election Systems and Candidate Deviation

The purpose of this paper is to analyze the effect of primary voting systems on the ability of agent-representatives to deviate within the median voter model. While conclusions are consistent with the results found in Gerber and Morton (1998), this paper extends their analysis by including the role played by electoral security and the extant incentives that accompany it. The results presented herein make 2 important contributions to the literature. First, while the report has been consistent with the literature in maintaining that deviation is driven by ideology, these results reflect that institutional arrangements also allow for deviation. Second, the measurement combining ADA and ACU scores reduces the potential of liberal bias or conservative bias by combining these scores into the determination of the dependent variable. Results suggest that more open primaries produce candidates with positions that are closer to those of the median voter. If blanket primaries encourage broader electoral participation by voters, the resulting median voter in such primaries will more closely resemble the median voter in the entire constituency.Election

Corruption and Voter Turnout: Evidence from the US States

The literature on voter turnout focuses on the determinants of the electorate’s vote supply. There is growing recognition, however, that the demanders of votes—candidates, political parties, and interest groups—have strong incentives to invest resources in mobilizing support on Election Day. The authors test the hypothesis that corruption rents increase the value of holding public office and, hence, elicit greater demand-side effort in building winning coalitions. Analyzing a pooled time-series data set of public officials convicted of misusing their offices between 1979 and 2005, we find, after controlling for other influential factors, that governmental corruption raises voter turnout rates in gubernatorial elections

Internal Anisotropy of Collision Cascades

We investigate the internal anisotropy of collision cascades arising from the branching structure. We show that the global fractal dimension cannot give an adequate description of the geometrical structure of cascades because it is insensitive to the internal anisotropy. In order to give a more elaborate description we introduce an angular correlation function, which takes into account the direction of the local growth of the branches of the cascades. It is demonstrated that the angular correlation function gives a quantitative description of the directionality and the interrelation of branches. The power law decay of the angular correlation is evidenced and characterized by an exponent and an angular correlation length different from the radius of gyration. It is demonstrated that the overlapping of subcascades has a strong effect on the angular correlation.Comment: RevteX, 8 pages, 6 .eps figures include

Corruption and Voter Participation: Evidence from the U.S. States

Abstract: The literature on voter turnout focuses on the determinants of the electorate's vote supply. There is growing recognition, however, that the demanders of votes -candidates, political parties and interest groups -have strong incentives to invest resources in mobilizing support on Election Day. We test the hypothesis that corruption rents increase the value of holding public office and, hence, elicit greater demand-side effort in building winning coalitions. Analyzing a panel dataset of public officials convicted of misusing their offices between 1977 and 2005, we find, after controlling for other influential factors, that governmental corruption raises voter turnout rates in gubernatorial elections. JEL Classifications: D72, K4, H

What Developers Want and Need from Program Analysis: An Empirical Study

Program Analysis has been a rich and fruitful field of research for many decades, and countless high quality program analysis tools have been produced by academia. Though there are some well-known examples of tools that have found their way into routine use by practitioners, a common challenge faced by researchers is knowing how to achieve broad and lasting adoption of their tools. In an effort to understand what makes a program analyzer most attractive to developers, we mounted a multi-method investigation at Microsoft. Through interviews and surveys of developers as well as analysis of defect data, we provide insight and answers to four high level research questions that can help researchers design program analyzers meeting the needs of software developers. First, we explore what barriers hinder the adoption of program analyzers, like poorly expressed warning messages. Second, we shed light on what functionality developers want from analyzers, including the types of code issues that developers care about. Next, we answer what non-functional characteristics an analyzer should have to be widely used, how the analyzer should fit into the development process, and how its results should be reported. Finally, we investigate defects in one of Microsoft's flagship software services, to understand what types of code issues are most important to minimize, potentially through program analysis

Defining best practices in the management of geothermal exploration data

International audienceThe objective of this work is to define best practices in the management of geothermal exploration data. This study builds on a questionnaire to survey the geothermal data management practices in mature geothermal markets. The inquiry targeted public Regulatory entities with overview of geothermal resources as well as public and private developers. Topics covered in the questionnaire range from the country status to the database set up. The questionnaire focused on the specifications, usage and investments required for installing/maintaining information systems capable of managing exploration data. In addition, information on the different regulatory frameworks and company policies for managing/sharing exploration data has been gathered to identify the requirements imposed on the design of information systems. The responses were analyzed to identify commonalities in data management practices. They reveal that installing an Information System (IS) is the best practice to systematically and securely manage exploration data. They also provide recommendations with respect to the regulatory framework, data types, data collection methodologies, data storage, data quality control, data accessibility and dissemination, IS architecture, financial investments and human resources required to develop a state-of-the art IS. These results will guide the design of future technical assistance programs for beneficiaries of World Bank support to geothermal exploration activities and it is our belief that they will be beneficial for the geothermal sector at large