Static Analysis for Optimizing Reference Counting.

Young Park Benjamin Goldberg

Published in: Inf. Process. Lett. (1995)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
symbolic execution
malicious code
test generation
test suite
java card
databases
case study
artificial intelligence
domain knowledge
model checking