A System and Language for Building System-Specific, Static Analyses.

Seth Hallem Benjamin Chelf Yichen Xie Dawson R. Engler

Published in: PLDI (2002)

Keyphrases

statistical analysis
language learning
real world
information systems
programming language
higher level
language processing
data mining
website
decision trees
case study
learning environment
open source
situation calculus
context dependent