The category-theoretic solution of recursive program schemes.

Stefan Milius Lawrence S. Moss

Published in: Theor. Comput. Sci. (2006)

Keyphrases

optimal solution
decision trees
linear equations
allocation scheme
probabilistic model
simulated annealing
closed form
solution space
solution quality
computer programs
programming environment