skip to main content
article
Free access

The design of a procedureless programming language

Published: 28 March 1974 Publication History

Abstract

The programming of digital computers has been a major concern of mainframe manufacturers, academicians, computer users and software product manufacturers since the first marketable computers were produced. Most often, the machine execution order has been explicit at the level at which the machine is programmed.
This paper takes as a premise that source statement ordering does not have to describe machine execution order. It describes a specific procedureless programming language that requires no ordering of the source program. This language includes primitives for performing calculations on sets. In this language statements are not executable. They are rules for defining sets. The paper concludes with a discussion of the usefulness of the language for a typical programming application.

References

[1]
"An Information Algebra." Communications of the ACM, vol. 5, no. 4, April 1962, pp. 190-204.
[2]
Balzer, R.M. "Dataless Programming." AFIPS Proceedings of the FJCC, 1967, pp. 535-544.
[3]
Berztiss, A.T. Data Structures. Theory and Practice. New York: Academic Press. 1971.
[4]
Burge, W. H. "Combinatory Programming and Combinatorial Analysis." IBM Journal of Research and Development, vol. 16, no. 5, September 1972, pp. 450-461.
[5]
Cocke, John, and Schwartz, J. T. Programming Languages and Their Compilers. 2nd rev. ed. New York: Courant Institute of Mathematical Sciences. 1970.
[6]
Dijkstra, E. W. "Letter to the Editor." Communications of the ACM, vol. 11, no. 3, March 1968, pp. 147-148.
[7]
Dodd, G. G. "APL—A Language for Associative Data Handling in PL/I." AFIPS Proceedings of the FJCC, 1966, pp. 677-684.
[8]
Feldman, Jerome A., and Rovner, Paul D. "An Algol-Based Association Language." Communications of the ACM, vol. 12, no. 8, August 1969, pp. 439-449.
[9]
Harrison, Malcolm. Data-Structures and Programming. rev. ed. New York: Courant Institute of Mathematical Sciences. 1971.
[10]
Homer, E. D. "An Algorithm for Selecting and Sequencing Statements as a Basis for a Problem-Oriented Programming System." Proceedings of the ACM 21st National Conference, 1966, pp. 305-312.
[11]
Iverson, Kenneth E. A Programming Language. New York: John Wiley and Sons, Inc. 1962.
[12]
Katz, Jesse H., and McGee, William C. "An Experiment in Non-Procedural Programming." AFIPS Proceedings of the FJCC, 1963, pp. 1-13.
[13]
Katzan, Harry, Jr. Advanced Programming. New York: Van Norstrand Reinhold Co. 1970.
[14]
Klerer, Melvin, and May, Jack. "Automatic Dimensioning." Communications of the ACM, vol. 10, no. 3, March 1967, pp. 165-166.
[15]
Knuth, Donald E. The Art of Computer Programming, Vol. 1: Fundamental Algorithms. Reading, Massachusetts: Addison-Wesley Publishing Company. 1968.
[16]
Lucas, P., Lauer, P., and Stigleitner, H. Method and Notation for the Journal Definition of Programming Languages. IBM TR25,087. IBM Laboratory: Vienna, Austria. 1968.
[17]
McCarthy, J. "Recursive Functions of Symbolic Expressions and Their Computation by Machine." Communications of the ACM, vol. 3, no. 4, April 1960, pp. 184-195.
[18]
Naur, Peter, ed. "Revised Report on the Algorithmic Language Algol 60." Communications of the ACM, vol. 6, no. 1, January 1963, pp. 1-17.
[19]
Naur, Peter, and Randell, Brian, eds. Software Engineering. Scientific Affairs Division NATO, Brussels, Belgium. 1969.
[20]
Neuhold, E. J. "The Formal Description of Programming Languages." IBM Systems Journal, vol. 10, no. 2, 1971, pp. 86-112.
[21]
PICL Users Guide. Telpar, Inc., Dallas, Texas. 1970.
[22]
Reinfelds, J., et al. "AMTRAN—An Interactive Computing System." AFIPS Proceedings of the SJCC, 1970, pp. 537-542.
[23]
Rice, John R., and Rosen, Saul. "NAPSS-A Numerical Analysis Problem Solving System." Proceedings of the ACM 21st National Conference, 1966, pp. 51-56.
[24]
Sammet, Jean E. Programming Languages: History and Fundamentals. Englewood Cliffs, New Jersey: Prentice-Hall. 1969.
[25]
Schlesinger, I., and Sashkin, L. "POSE: A Language for Posing Problems to a Computer." Communications of the ACM, vol. 10, no. 5, May 1967, pp. 279-285.
[26]
Schwantz, Jacob T. On Programming An Interim Report on the SETL Project Installment 1. New York: Courant Institute of Mathematical Sciences. 1973.
[27]
Swinehart, Dan, and Sproull, Bob. Sail. Stanford, California: Stanford Artificial Intelligence Project. 1970.
[28]
Symes, Lawrence R. "Manipulation of Data Structures in a Numerical Analysis Problem Solving System—NAPSS." AFIPS Proceedings of the SJCC, 1970, pp. 157-164.
[29]
Wegner, Peter. Proramming Languages, Information Structures, and Machine Organization. New York: McGraw-Hill Book Company. 1968.
[30]
Whiteman, I. R. "New Computer Languages." International Science and Technology, April 1966, pp. 62-68.
[31]
Young, J. W., Jr. #"Non-Procedural-Languages." Presented at ACM Southern California Chapter's Seventh Annual Technical Symposium, March 23, }965.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices
ACM SIGPLAN Notices  Volume 9, Issue 4
April 1974
132 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/942572
Issue’s Table of Contents
  • cover image ACM Conferences
    Proceedings of the ACM SIGPLAN symposium on Very high level languages
    March 1974
    138 pages
    ISBN:9781450378840
    DOI:10.1145/800233

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 March 1974
Published in SIGPLAN Volume 9, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)66
  • Downloads (Last 6 weeks)17
Reflects downloads up to 09 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media