Datalog, a declarative logic programming language with a concise syntax, has become an essential tool in the realm of program analysis. By expressing recursive computation in a clear and ...

Keywords: IDARC2D Version 7.0. Inelastic damage analyses. Analytical models. Frame structures. Hysteretic models. Structural element models. Hysteretic models. Nonlinear dynamic analyses. Experimental ...

Keywords: Computer programs. Nonlinear dynamic analyses. Response-history analyses. Seismic isolation. 3-D-BASIS-ME-MB. Superstructures. Models. Multiple isolation-system levels. Viscous dampers.