research-article

Free access

An algorithmic search procedure for program generation

Authors:

M. H. Halstead,

G. T. Uber,

K. R. GielowAuthors Info & Claims

AFIPS '67 (Spring): Proceedings of the April 18-20, 1967, spring joint computer conference

Pages 657 - 662

https://doi.org/10.1145/1465482.1465588

Published: 18 April 1967 Publication History

PDF eReader

Abstract

A programmer in writing and checking out an arithmetic computer program provides both a procedural description of the program and a set of numeric test cases. Similarly, a student of elementary physics is often given a set of formulae to be used, and correct answers to problems. These two inputs in both cases provide a redundancy which gives some measure of confidence that the procedure is correct. In theory either is adequate, subject to the limitations of induction. While compilers operate upon the first type of data, several programs have been written which use the second type.

References

[1]

R M Friedberg A learning machine part I IBM Journal of Research and Development vol 2 pp 2--13 Jan 1958

Google Scholar

[2]

R M Friedberg, B Dunham, J H North A learning machine part II IBM Journal of Research and Development vol 3 pp 282--7 Jul 1959

Google Scholar

[3]

Herbert A Simon The heuristic compiler Memorandum RM-3588-PR The RAND Corporation Santa Monica Calif 1963

Google Scholar

[4]

A Newell, J C Shaw, H A Simon Empirical explorations of the logic theory machine Proceedings of the Western Joint Computer Conference pp 218--39 1957 Reprinted in Feigenbaum E A and J Feldman Computers and thought McGraw-Hill Book Company Inc pp 109--33 New York 1963

Digital Library

Google Scholar

[5]

H Gelernter A note on syntactic symmetry and the manipulation of formal systems by machine Information and control vol 2 pp 80--89 Apr 1959

Google Scholar

[6]

K E Iverson A programming language John Wiley & Sons Inc New York 1962

Digital Library

Google Scholar

[7]

M H Halstead Machine-independent computer programming Spartan Books Washington D C 1962

Digital Library

Google Scholar

[8]

D S Riggs The mathematical approach to physiological problems Williams & Wilkins Baltimore p 3 1963

Google Scholar

Recommendations

Combinators for program generation

We present a general method to transform a compositional specification of a specializer for a functional programming language into a set of combinators that can be used to perform the same specialization more efficiently. The main transformation steps ...
Procedure-oriented languages
Encyclopedia of Computer Science

Procedure-oriented languages (POLs) are artificial languages used to define, in a form understandable to humans, the actions required by a computer to solve a problem. The higher-level form of a POL frees a programmer from the time-consuming and often ...
Revised Report on the Algorithmic Language Scheme

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman. It was designed to have ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

AFIPS '67 (Spring): Proceedings of the April 18-20, 1967, spring joint computer conference

April 1967

809 pages

ISBN:9781450378956

DOI:10.1145/1465482

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 April 1967

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
102
Total Downloads

Downloads (Last 12 months)23
Downloads (Last 6 weeks)2

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

Combinators for program generation

Procedure-oriented languages

Revised Report on the Algorithmic Language Scheme