Reusing Single-Language Analyses for Static Analysis of Multi-language Programs.

Published in: SPLASH Companion (2023)

Keyphrases

static analysis
programming language
language learning
natural language
object oriented
programming environment
object oriented languages
specification language
dynamic analysis
database
domain knowledge
smart card
symbolic execution