Sign in

Checking type safety of foreign function calls.

Michael FurrJeffrey 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