A type system for static and dynamic checking of C++ pointers.

Giuseppe Della Penna

Published in: Comput. Lang. Syst. Struct. (2005)

Keyphrases

type checking
web services
special case
information systems
pattern recognition
neural network
case study
search algorithm
digital libraries
image retrieval
co occurrence