Sound Transpilation from Binary to Machine-Independent Code.

Roberto Metere Andreas Lindner Roberto Guanciale

Published in: CoRR (2018)

Keyphrases

error correcting
hamming distance
binary codes
error correcting codes
information systems
source code
logical operations
expert systems
special case
probabilistic model
non binary
binary tree
batch processing
java virtual machine