A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.

Bor-Yuh Evan Chang Adam Chlipala George C. Necula

Published in: VMCAI (2006)

Keyphrases

main contribution
neural network
databases
machine learning
information retrieval
reinforcement learning
autonomous mobile
data sets
genetic algorithm
multimedia
image sequences
mobile devices