Program Specialization via a Software Verification Tool.

Richard Bubel Reiner Hähnle Ran Ji

Published in: FMCO (2010)

Keyphrases

program understanding
databases
multi agent systems
relational databases
program execution
database
real world
information retrieval
decision making
case study
data model
computer programs
static analysis