Pruning with improving sequences in lazy functional programs.

Hideya Iwasaki Takeshi Morimoto Yasunao Takano

Published in: High. Order Symb. Comput. (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
hidden markov models
search space
logic programs
stochastic grammar
database
multi agent
data structure
relational databases
query evaluation
complex objects