Type Theory and Projections for Static Analysis.

Clement A. Baker-Finch

Published in: LISP Symb. Comput. (1995)

Keyphrases

static analysis
dynamic analysis
abstract interpretation
source code
three dimensional
regular expressions
java card
malicious code
theoretical framework
case study
database
open source
pattern matching