Declarative Interface of Detecting Defects on Syntax Trees: KAST Language

In many cases source code defects can be detected by analyzing the corresponding syntax trees. In this article we investigate advantages and drawbacks of this approach in comparison with more complex types of static code analysis and prove that a user needs an interface for writing his own defect de...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Author:	S. V. Syromyatnikov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	синтаксическое дерево дефект кода чекер программа код декларативный интерфейс язык шаблон
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/1052