Login / Signup

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

Dmitry KhalanskyArthur LazdinDmitry Mouromtsev
Published in: FRUCT (2016)
Keyphrases
  • programming language
  • static analysis
  • general purpose
  • software engineering
  • matching algorithm
  • artificial intelligence
  • open source
  • denotational semantics