Automatic programming: A tutorial on formal methodologies

Authors:
Alan W. Biermann
Affiliations:
Department of Computer Science, Duke University, Durham, North Carolina 27706, U.S.A.
Venue:
Journal of Symbolic Computation
Year:
1985

Citing 6
Cited 3

A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
A Methodology for LISP Program Construction from Examples

Journal of the ACM (JACM)
A Deductive Approach to Program Synthesis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Program Construction Techniques

Automatic Program Construction Techniques
Synthesis: Dreams ? Programs

IEEE Transactions on Software Engineering
A global view of automatic programming

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence

Visual programming: perspectives and approaches

IBM Systems Journal
Visual programming: perspectives and approaches

IBM Systems Journal
From boolean to quantitative synthesis

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

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.