Article

Free access

High level operations in automatic programming

Author:

Jay EarleyAuthors Info & Claims

Proceedings of the ACM SIGPLAN symposium on Very high level languages

Pages 34 - 42

https://doi.org/10.1145/800233.807043

Published: 28 March 1974 Publication History

PDF eReader

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]

Balzer, R. "Automatic programming", USC Information Sciences Institute, 1972.

Google Scholar

[2]

Earley, J. "Relational level data structures in programming languages", Computer Science, University of California, Berkeley, 1973.

Google Scholar

[3]

Derksen, J., Rulifson, J.F., and Waldinger, R.J. "The QA4 language applied to robot planning", Stanford Research Institute, 1972.

Digital Library

Google Scholar

[4]

Wegbreit, B. "The treatment of data types in EL1", Harvard University, 1971.

Google Scholar

[5]

Griswold, Poage and Polonsky The SNOBOL4 Programming Language, Prentice-Hall, 1968.

Digital Library

Google Scholar

[6]

Reynolds, J.C. "GEDANKEN - a simple typeless language which permits functional data structures and coroutines", Comm. ACM 13, May 1970.

Digital Library

Google Scholar

[7]

Elliot, R.W. "A model for fact retrieval", University of Texas, 1965.

Google Scholar

[8]

Schwartz, J.T. "Abstract algorithms and a set-theoretic language for their expressions", New York University, 1970-71.

Google Scholar

[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.

Crossref

Google Scholar

[10]

Fischer, D.A. "Control structures for programming languages," Carnegie-Mellon University, 1970.

Google Scholar

Cited By

View all

Loncaric CTorlak EErnst M(2016)Fast synthesis of fast collectionsACM SIGPLAN Notices10.1145/2980983.290812251:6(355-368)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2980983.2908122
Loncaric CTorlak EErnst MKrintz CBerger E(2016)Fast synthesis of fast collectionsProceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2908080.2908122(355-368)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2908080.2908122
Middleton T(2016)A Transformation Approach To Implementing Aggregate OperationsINFOR: Information Systems and Operational Research10.1080/03155986.1984.1173190922:1(3-20)Online publication date: 25-May-2016
https://doi.org/10.1080/03155986.1984.11731909
Show More Cited By

Recommendations

High level operations in automatic programming

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 ...
Bypassing portability pitfalls of high-level low-level programming
VMIL '12: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages

Program portability is an important software engineering consideration. However, when high-level languages are extended to effectively implement system projects for software engineering gain and safety, portability is compromised--high-level code for ...
A high-level programming and command language

Unifying programming and command languages is a promising idea that has yet to be thoroughly exploited. Most attempts at such unification have used Lisp or traditional languages, such as Pascal. This paper describes the command and programming language ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the ACM SIGPLAN symposium on Very high level languages

March 1974

138 pages

ISBN:9781450378840

DOI:10.1145/800233

Chairman:
Burt Leavenworth

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

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 March 1974

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
311
Total Downloads

Downloads (Last 12 months)84
Downloads (Last 6 weeks)16

Reflects downloads up to 14 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Loncaric CTorlak EErnst M(2016)Fast synthesis of fast collectionsACM SIGPLAN Notices10.1145/2980983.290812251:6(355-368)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2980983.2908122
Loncaric CTorlak EErnst MKrintz CBerger E(2016)Fast synthesis of fast collectionsProceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2908080.2908122(355-368)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2908080.2908122
Middleton T(2016)A Transformation Approach To Implementing Aggregate OperationsINFOR: Information Systems and Operational Research10.1080/03155986.1984.1173190922:1(3-20)Online publication date: 25-May-2016
https://doi.org/10.1080/03155986.1984.11731909
Paige R(2005)Symbolic finite differencing - Part IESOP '9010.1007/3-540-52592-0_54(36-56)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-52592-0_54
Paige RHenglein F(2005)Mechanical translation of set theoretic problem specifications into efficient RAM code — A case studyEUROCAL '8510.1007/3-540-15984-3_329(554-567)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-15984-3_329
Reps TRall L(2003)Computational Divided Differencing and Divided-Difference ArithmeticsHigher-Order and Symbolic Computation10.1023/A:102302422139116:1-2(93-149)Online publication date: 1-Mar-2003
https://dl.acm.org/doi/10.1023/A%3A1023024221391
Ramalingam GReps TVan Deusen MLang B(1993)A categorized bibliography on incremental computationProceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/158511.158710(502-510)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/158511.158710
Paige R(1986)Programming with InvariantsIEEE Software10.1109/MS.1986.2330703:1(56-69)Online publication date: 1-Jan-1986
https://dl.acm.org/doi/10.1109/MS.1986.233070
Paige R(1984)Supercompilers - Extended AbstractProgram Transformation and Programming Environments10.1007/978-3-642-46490-4_29(331-340)Online publication date: 1984
https://doi.org/10.1007/978-3-642-46490-4_29
Wadler PArvind Dennis J(1981)Applicative style programming, program transformation, and list operatorsProceedings of the 1981 conference on Functional programming languages and computer architecture10.1145/800223.806759(25-32)Online publication date: 18-Oct-1981
https://dl.acm.org/doi/10.1145/800223.806759
Show More Cited By

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.

Cited By

Recommendations

High level operations in automatic programming

Bypassing portability pitfalls of high-level low-level programming

A high-level programming and command language