Sign in
A Language-Independent Program Verification Framework.
Xiaohong Chen
Grigore Rosu
Published in:
ISoLA (2) (2018)
Keyphrases
</>
language independent
machine translation
cross lingual
neural network
clustering algorithm
knowledge discovery
knn
text classification