The Under-Performing Unfold: A new approach to optimising corecursive programs.

Jennifer Hackett Graham Hutton Mauro Jaskelioff

Published in: IFL (2013)

Keyphrases

computer programs
databases
decision trees
expert systems
multiresolution
intermediate level
control program
data sets
relational databases
artificial neural networks
programming environment
fixpoint
automatic programming
provably correct