An abstract interpretation-based framework for software watermarking.

Patrick Cousot Radhia Cousot

Published in: POPL (2004)

Keyphrases

abstract interpretation
model checking
static analysis
termination analysis
database applications
fine grained
data flow
active rules
dynamic analysis