A program component behavior specification language

Computer Systems and Software

Static analysis of programs with external components is considered in this article. Existing methods of component specification description are analyzed. Requirements and restrictions for special-purpose language are developed using analysis results. Description of the PanLang specification language is presented. This language is used as the part of the static analysis tool.