Creation of a static analysis algorithm using ad hoc programming languages. - Dmitry Khalansky; Arthur Lazdin; Dmitry Mouromtsev (FRUCT, 2016)