A Language-Independent Approach to Smart Contract Verification.

Xiaohong Chen Daejun Park Grigore Rosu

Published in: ISoLA (4) (2018)

Keyphrases

language independent
machine translation
n gram
multi lingual
cross lingual
word segmentation
text classification
text retrieval
word level
language specific
chinese text retrieval
information retrieval
artificial intelligence
cross language
automatic summarization
word meanings