Machine Code Type Safety.

Fan Guo Yiyun Chen RongGui Hu

Published in: ICFEM (2002)

Keyphrases

lower bound
np hard
source code
databases
real time
data sets
data mining
high level
data structure
control system