Automatic Generation and Management of Interprocedural Program Analyses.

Kwangkeun Yi Williams Ludwell Harrison III

Published in: POPL (1993)

Keyphrases

management system
data management
knowledge management
decision support
automatically generate
information systems
decision making
data processing
decision support system
test cases
network management
program execution
artificial intelligence
evolutionary algorithm
statistical analysis
comparative analysis