Semantic Solutions to Program Analysis Problems
Sam Tobin-HochstadtDavid Van HornPublished in: CoRR (2011)
Keyphrases
- similar problems
- benchmark problems
- practical solutions
- specific problems
- combinatorial problems
- domain knowledge
- optimization problems
- semantic information
- semantic representation
- computational issues
- database
- greedy algorithms
- problems involving
- visual features
- linear programming
- information extraction
- information retrieval
- neural network