Abstract Diagnosis of Functional Programs.

María Alpuente Marco Comini Santiago Escobar Moreno Falaschi Salvador Lucas

Published in: LOPSTR (2002)

Keyphrases

knowledge base
functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
expert systems
functional programming
stochastic grammar
high level
general purpose
programming language