Correctness of Compiling Occam to Transputer Code.

Egon Börger Igor Durdanovic

Published in: Comput. J. (1996)

Keyphrases

source code
error correcting
code generation
data sets
computer vision
decision making
metadata
similarity measure
concurrent programs