A Language-Independent Proof System for Mutual Program Equivalence.

Stefan Ciobaca Dorel Lucanu Vlad Rusu Grigore Rosu

Published in: ICFEM (2014)

Keyphrases

language independent
n gram
machine translation
text classification
cross lingual
multi lingual
word level
text retrieval
word segmentation
cross language
word meanings
language specific
modal logic
neural network
information extraction
multimedia
search engine