Proving Invariants of Functional Programs.

Zoltán Horváth Tamás Kozsik Máté Tejfel

Published in: SPLST (2003)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
databases
artificial intelligence
search algorithm
simulated annealing
functional programming