Top-down Synthesis of Sorting Algorithms.

Published in: Comput. J. (1991)

Keyphrases

sorting algorithms
data structures and algorithms
high level
program synthesis
functional programs
neural network
information retrieval
knowledge discovery
texture synthesis