Domain-Specific Program Checking.

Lukas Renggli Stéphane Ducasse Tudor Gîrba Oscar Nierstrasz

Published in: TOOLS (48) (2010)

Keyphrases

domain specific
general purpose
domain independent
static analysis
data mining
online learning
case study
probabilistic model
digital libraries
computer programs
expert systems
databases
multi agent
face recognition
website
image processing
machine learning
neural network