Algebraic Implementations Preserve Program Correctness.

Manfred Broy Bernhard Möller Peter Pepper Martin Wirsing

Published in: Sci. Comput. Program. (1986)

Keyphrases

multiscale
higher order
program synthesis
learning algorithm
evolutionary algorithm
multiresolution
hidden markov models
denoising
test cases
computer programs
linear algebra
automatic programming
program execution