Automatic programming : A tutorial on formal methodologies

14Citations
Citations of this article
14Readers
Mendeley users who have this article in their library.

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free