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