Static analysis of functional programs.

Klaas van den Berg P. M. van den Broek

Published in: Inf. Softw. Technol. (1995)

Keyphrases

static analysis
functional programs
term rewriting systems
dynamic analysis
lazy evaluation
logic programs
source code
symbolic execution
stochastic grammar
regular expressions
functional language
abstract interpretation
database
general purpose
logic programming
open source
functional programming
data mining