Program Analysis Using Symbolic Ranges.

Sriram Sankaranarayanan Franjo Ivancic Aarti Gupta

Published in: SAS (2007)

Keyphrases

high level
symbolic representation
connectionist models
symbolic reasoning
real world
feature extraction
expert systems
wireless sensor networks
intermediate level
symbolic description
associative learning