TVLA: A system for generating abstract interpreters.

Tal Lev-Ami Roman Manevich Shmuel Sagiv

Published in: IFIP Congress Topical Sessions (2004)

Keyphrases

databases
higher level
automatically generating
neural network
virtual machine
state machines
real world
data mining
learning algorithm
website
case study
high level
user interface
hidden markov models
knowledge level
generation process