Automatic Synthesis of the Inverses of APL Functions.

Alvin J. Surkan

Published in: APL (1991)

Keyphrases

functional programs
fully automatic
sufficient conditions
semi automatic
databases
image processing
digital libraries
lower bound
data driven