Ten methodologies for automatic program construction are presented, discussed and compared. Some of the techniques generate code from formal input-output specifications while others work from examples of the target behaviour or from natural language input. © 1985, Academic Press Inc. (London) Ltd.. All rights reserved.
Biermann, A. W. (1985). Automatic programming : A tutorial on formal methodologies. Journal of Symbolic Computation, 1(2), 119–142. https://doi.org/10.1016/S0747-7171(85)80010-9