Static analysis of web applications developed in dynamic languages is a challenging yet very important task. In this paper, we present WeVerca, a framework that allows one to de ne static analyses of PHP applications. It supports dynamic type system, dynamic method calls, dynamic data structures, etc. These common features of dynamic languages cause implementation of static analyses to be eithe...

The present mixed-method study sought to investigate the efficacy of using an interventionist dynamic assessment and specifically its formats namely the cake and the sandwich ones on learners’ grammatical English Tenses. In doing so, 45 advanced learners of English language at Iran Language Institute (ILI) in Shiraz, Iran were selected. They were randomly assigned to 3 groups, each including 15...

The development of mathematical models for describing the dynamic behaviours of fluid conveying pipes, micro-pipes and nanotubes under the influence of some thermo-mechanical parameters results into nonlinear equations that are very difficult to solve analytically. In cases where the exact analytical solutions are presented either in implicit or explicit forms, high skills and rigorous mathemat...

Dimerization process is essential for producing copolymers. The features of dimerization process like thermal-oxidative degradation should be well known to reach maximum efficiency and a superior reactor design. Also, the degradation mechanism of biodegradable polymers is important during sterilization processes. Thermal-oxidative degradation of PGA, PLLA, and their binary copolymers was invest...

Dynamic behavior of ground supported cylindrical storage tanks (CST) is of crucial importance because of its applications in industrial complexes. Seismic behavior of tanks is greatly affected by the height to diameter ratio, fluid height and fluid type. Five CSTs with different height to diameter ratios, three CSTs with the same height and diameters but various fluid heights and one CST with t...

pushover analysis is a simplified nonlinear analysis technique that can be used to estimate the dynamic demands imposed on a structure under earthquake excitations. one of the first steps taken in this approximate solution is to assess the maximum roof displacement, known as target displacement, using the base shear versus roof displacement diagram. that could be done by the so-called dynamic p...

dynamic behavior of ground supported cylindrical storage tanks (cst) is of crucial importance because of its applications in industrial complexes. seismic behavior of tanks is greatly affected by the height to diameter ratio, fluid height and fluid type. five csts with different height to diameter ratios, three csts with the same height and diameters but various fluid heights and one cst with t...