Sign in
Checking type safety of foreign function calls.
Michael Furr
Jeffrey S. Foster
Published in:
ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
</>
type checking
data mining
genetic algorithm
decision trees
image segmentation
data structure
data streams
expert systems
evolutionary algorithm
medical images
multiple types
safety critical