skip to main content
article
Free Access

High level operations in automatic programming

Published:28 March 1974Publication History
Skip Abstract Section

Abstract

We discuss the thesis that one good way of achieving non-procedural or problem-oriented languages is by constructing higher and higher level procedural languages. We present a set of operations embedded in a programming language VERS2 which represent a higher level of description than currently exists. These include iterators (operations which, if written out, would normally involve an iteration over a group of objects), pattern matching facilities, implicitly specified data structures, and the ability to place constraints on data structures.

References

  1. 1 Balzer, R. "Automatic programming", USC Information Sciences Institute, 1972.Google ScholarGoogle Scholar
  2. 2 Earley, J. "Relational level data structures in programming languages", Computer Science, University of California, Berkeley, 1973.Google ScholarGoogle Scholar
  3. 3 Derksen, J., Rulifson, J.F., and Waldinger, R.J. "The QA4 language applied to robot planning", Stanford Research Institute, 1972.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Wegbreit, B. "The treatment of data types in EL1", Harvard University, 1971.Google ScholarGoogle Scholar
  5. 5 Griswold, Poage and Polonsky The SNOBOL4 Programming Language, Prentice-Hall, 1968. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Reynolds, J.C. "GEDANKEN - a simple typeless language which permits functional data structures and coroutines", Comm. ACM 13, May 1970. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Elliot, R.W. "A model for fact retrieval", University of Texas, 1965.Google ScholarGoogle Scholar
  8. 8 Schwartz, J.T. "Abstract algorithms and a set-theoretic language for their expressions", New York University, 1970-71.Google ScholarGoogle Scholar
  9. 9 Wells, M.B. and Morris, J.B. "The unified data structure capability in MADCAP VI", International Journal of Computer and Information Sciences, September 1972.Google ScholarGoogle ScholarCross RefCross Ref
  10. 10 Fischer, D.A. "Control structures for programming languages," Carnegie-Mellon University, 1970.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

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

Sign in

Full Access

  • 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

    Copyright © 1974 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 28 March 1974

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader