Creation of a static analysis algorithm using ad hoc programming languages.

Dmitry Khalansky Arthur Lazdin Dmitry Mouromtsev

Published in: FRUCT (2016)

Keyphrases

programming language
static analysis
general purpose
software engineering
matching algorithm
artificial intelligence
open source
denotational semantics