Static Analysis-Based Program Evolution Support in the Common Lisp Framework.

K. Narayanaswamy

Published in: ICSE (1988)

Keyphrases

static analysis
dynamic analysis
abstract interpretation
symbolic execution
source code
end users
malicious code
databases
metadata
high level
database systems
logic programs
error rate