Certification of compiled assembly code by invariant translation.

Published in: Int. J. Softw. Tools Technol. Transf. (2004)

Keyphrases

third party
machine translation
affine invariant
computer vision
source code
cross language information retrieval
query translation
process planning
data sets
information extraction
software engineering
invariant features