EXTENDED DEPENDENCY ANALYSIS OF LARGE SYSTEMS∗ Part II: Static Analysis

1988 ◽  
Vol 14 (2) ◽  
pp. 125-141 ◽  
Author(s):  
ROGER C. CONANT
Keyword(s):  
Static Analysis ◽  
Dependency Analysis ◽  
Large Systems

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

Eliciting Relations from Requirements Text Based on Dependency Analysis

2014 ◽  
Vol 36 (1) ◽  
pp. 54-62 ◽  
Author(s):  
Tian-Ying LI ◽  
Lin LIU ◽  
De-Wang ZHAO ◽  
Yuan CAO
Keyword(s):  
Dependency Analysis

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.

Sign in / Sign up

Export Citation Format

Share Document