A type system for certified binaries.

Zhong Shao Valery Trifonov Bratin Saha Nikolaos Papaspyrou

Published in: ACM Trans. Program. Lang. Syst. (2005)

Keyphrases

metadata
real time
genetic algorithm
feature selection
image processing
data structure
preprocessing
business processes