Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis

2017 ◽  
Vol 47 (11) ◽  
pp. 1677-1705 ◽  
Author(s):  
Kihong Heo ◽  
Hakjoo Oh ◽  
Kwangkeun Yi
Keyword(s):  
Static Analysis ◽  
Context Sensitivity

scholarly journals Higher-Ranked Annotation Polymorphic Dependency Analysis

2020 ◽  
pp. 656-683 ◽  
Author(s):  
Fabian Thorand ◽  
Jurriaan Hage
Keyword(s):  
Static Analysis ◽  
Type System ◽  
Reconstruction Algorithm ◽  
Context Sensitivity ◽  
Functional Languages ◽  
Dependency Analysis ◽  
One Step ◽  
Type Reconstruction ◽  
Generic Analysis

AbstractThe precision of a static analysis can be improved by increasing the context-sensitivity of the analysis. In a type-based formulation of static analysis for functional languages this can be achieved by, e.g., introducing let-polyvariance or subtyping. In this paper we go one step further by defining a higher-ranked polyvariant type system so that even properties of lambda-bound identifiers can be generalized over. We do this for dependency analysis, a generic analysis that can be instantiated to a range of different analyses that in this way all can profit.We prove that our analysis is sound with respect to a call-by-name semantics and that it satisfies a so-called noninterference property. We provide a type reconstruction algorithm that we have proven to be terminating, and sound and complete with respect to its declarative specification. Our principled description can serve as a blueprint for making other analyses higher-ranked.

Effects of openings on the seismic behavior and performance level of concrete shear walls

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin
Keyword(s):  
Static Analysis ◽  
Cross Section ◽  
Seismic Behavior ◽  
Shear Walls ◽  
Shear Wall ◽  
Constant Cross Section ◽  
Added Resistance ◽  
Different Shapes ◽  
And Performance ◽  
Abaqus Software

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.

Static Analysis Based Correctness Verification for Mandatory Access Control Framework

2009 ◽  
Vol 32 (4) ◽  
pp. 730-739 ◽  
Author(s):  
Xin-Song WU ◽  
Zhou-Yi ZHOU ◽  
Ye-Ping HE ◽  
Hong-Liang LIANG ◽  
Chun-Yang YUAN
Keyword(s):  
Access Control ◽  
Static Analysis ◽  
Mandatory Access Control ◽  
Control Framework

Regional and industry characteristics of trade and economic cooperation of the EEU countries

2018 ◽  
Vol 35 (3) ◽  
pp. 140-148
Author(s):  
P. M. Taranov ◽  
A. N. Gerasimov
Keyword(s):  
International Trade ◽  
Static Analysis ◽  
Economic Cooperation ◽  
Regional Structure ◽  
Trade Study ◽  
Structure Of Trade

In the paper, trends and patterns of development of trade and economic cooperation of the EEU countries are analyzed. The authors, based on the economic-static analysis of international trade, study the features of the transformation of the commodity and regional structure of trade. Conclusions are drawn about the reasons for the existing features and trends in the development of intraregional economic cooperation.

Discourse, Context, and Coherence

2018 ◽  
Author(s):  
Una Stojnić
Keyword(s):  
Prima Facie ◽  
Context Sensitivity ◽  
Linguistic Meaning ◽  
Linguistic Features ◽  
Linguistic Feature ◽  
Discourse Context ◽  
Context Sensitive ◽  
Pure Indexicals

On the received view, the resolution of context-sensitivity is at least partly determined by non-linguistic features of utterance situation. If I say ‘He’s happy’, what ‘he’ picks out is underspecified by its linguistic meaning, and is only fixed through extra-linguistic supplementation: the speaker’s intention, and/or some objective, non-linguistic feature of the utterance situation. This underspecification is exhibited by most context-sensitive expressions, with the exception of pure indexicals, like ‘I.’ While this received view is prima facie appealing, I argue it is deeply mistaken. I defend an account according to which context-sensitivity resolution is governed by linguistic mechanisms determining prominence of candidate resolutions of context-sensitive items. Thus, on this account, the linguistic meaning of a context-sensitive expression fully specifies its resolution in a context, automatically selecting the resolution antecedently set by the prominence-governing linguistic mechanisms.

Usage problems in American English

2017 ◽  
Author(s):  
Viktorija Kostadinova
Keyword(s):  
American English ◽  
Context Sensitivity ◽  
Point Of View ◽  
Social Implications ◽  
Language Context

This chapter explores the complexity of attitudes to the usage problems ain’t, literally, and like in American English, from the point of view of both prescriptivist discourse found in usage guides and speakers’ ideas about these usage problems. I argue that the stakes for speakers involved in using certain usage problems are different in different contexts, and that these usage problems merit more serious sociolinguistic attention. I pay particular attention to how the attitudes of speakers towards the usage problems considered in this chapter differ from those expressed in usage guides. One of the conclusions of this analysis is that different usage problems have different social implications for different speakers. Grammatical usage problems in particular seem to be more closely associated with education, although regional and language context sensitivity play a role as well.

Suppose and Tell

2020 ◽  
Author(s):  
Timothy Williamson
Keyword(s):  
Conditional Probability ◽  
Natural Deduction ◽  
Special Kind ◽  
Context Sensitivity ◽  
Modal Operator ◽  
Counterfactual Conditionals ◽  
Deduction Rules ◽  
Psychological Sense

The book argues that our use of conditionals is governed by imperfectly reliable heuristics, in the psychological sense of fast and frugal (or quick and dirty) ways of assessing them. The primary heuristic is this: to assess ‘If A, C’, suppose A and on that basis assess C; whatever attitude you take to C conditionally on A (such as acceptance, rejection, or something in between) take unconditionally to ‘If A, C’. This heuristic yields both the equation of the probability of ‘If A, C’ with the conditional probability of C on A and standard natural deduction rules for the conditional. However, these results can be shown to make the heuristic implicitly inconsistent, and so less than fully reliable. There is also a secondary heuristic: pass conditionals freely from one context to another under normal conditions for acceptance of sentences on the basis of memory and testimony. The effect of the secondary heuristic is to undermine interpretations on which ‘if’ introduces a special kind of context-sensitivity. On the interpretation which makes best sense of the two heuristics, ‘if’ is simply the truth-functional conditional. Apparent counterexamples to truth-functionality are artefacts of reliance on the primary heuristic in cases where it is unreliable. The second half of the book concerns counterfactual conditionals, as expressed with ‘if’ and ‘would’. It argues that ‘would’ is an independently meaningful modal operator for contextually restricted necessity: the meaning of counterfactuals is simply that derived compositionally from the meanings of their constituents, including ‘if’ and ‘would’, making them contextually restricted strict conditionals.

Sign in / Sign up

Export Citation Format

Share Document