Automatic Incrementalization of Prolog Based Static Analyses.

Michael Eichberg Matthias Kahl Diptikalyan Saha Mira Mezini Klaus Ostermann

Published in: PADL (2007)

Keyphrases

knowledge representation
decision trees
three dimensional
multiscale
expert systems
semi automatic
real time
search engine
high level
object oriented
data driven
statistical analysis
logic programming language
programming paradigms
abstract machine