Login / Signup
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