Login / Signup
Semantics-based software watermarking by abstract interpretation.
Mila Dalla Preda
Michele Pasqua
Published in:
Math. Struct. Comput. Sci. (2019)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
software systems
software development
dynamic analysis
software engineering
distributed databases
evaluation method
data flow
active rules