Static Analysis Of Functional Programs With Logic Variables.

Published in: PLILP (1988)

Keyphrases

static analysis
functional programs
dynamic analysis
term rewriting systems
source code
lazy evaluation
logic programs
stochastic grammar
functional language
logic programming
regular expressions
general purpose
case study
object oriented
programming language
functional programming