Для цитирования:

Игнатьев В.Н. Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования. Труды Института системного программирования РАН. 2012;22.

For citation:

Ignatyev V. Static analysis usage for customizable checks of programming languages semantic constraints. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2012;22. (In Russ.)