Incorporating Static Analysis in a Combinator-Based Compiler

Margaret Montenyohl Mitchell Wand

Published in: Inf. Comput. (1989)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
software systems
regular expressions
abstract interpretation
test generation
programming language
symbolic execution
general purpose
java card
test suite
artificial intelligence
databases
domain knowledge
knowledge base
test case generation
database