Semantics-based program verifiers for all languages.

Andrei Stefanescu Daejun Park Shijiao Yuwen Yilong Li Grigore Rosu

Published in: OOPSLA (2016)

Keyphrases

computer programs
expressive power
language independent
program execution
multi lingual
real time
information retrieval
text summarization
static analysis
language identification
decision trees
target language