A program component behavior specification language

Computer Systems and Software
Authors:
Vladimir M. Itsykson Glukhikh Mikhail I.
Abstract:

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.