Type Theory and Projections for Higher-Order Static Analysis.

Clement A. Baker-Finch

Published in: PEPM (1994)

Keyphrases

static analysis
higher order
dynamic analysis
abstract interpretation
source code
malicious code
high order
test generation
symbolic execution
three dimensional
pairwise
java card
test suite
object oriented
data sets
type checking
markov random field
databases