A proposed graduate course in automatic software generation-Reference-Cited by-同舟云学术

A proposed graduate course in automatic software generation

Published:1984-06 Issue:2 Volume:16 Page:29-33
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Pope Wendell L.¹

Affiliation:

1. Utah State University, Logan, Utah

Abstract

The backlog of demand for applications software is exceeding the productivity of programmers using conventional procedural languages. One approach to solving this problem is increasing programmer productivity through the use of automatic software generation systems. This paper presents the background of the software crunch, the reasons conventional programming languages are not expected to meet it, and the possibility of the state of the art being adequate to support a graduate course in automatic software generation.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/989341.989349

Reference20 articles.

1. Aho Alfred V. and Ullman Jeffrey D. "Principles of Compiler Design" Addison-Wesley 1977. Aho Alfred V. and Ullman Jeffrey D. "Principles of Compiler Design" Addison-Wesley 1977.

2. Backus John "Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs" (1977 ACM Turing Award Lecture) Comm. ACM 21 8 (August 1978) pp613--641. 10.1145/359576.359579 Backus John "Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs" (1977 ACM Turing Award Lecture) Comm. ACM 21 8 (August 1978) pp613--641. 10.1145/359576.359579

3. Barr Avron and Feigenbaum Edward A. "The Handbook of Artificial Intelligence" Wm. Kaufman 1981. Chapter 4 is "Understanding Natural Language" Barr Avron and Feigenbaum Edward A. "The Handbook of Artificial Intelligence" Wm. Kaufman 1981. Chapter 4 is "Understanding Natural Language"

4. Logic versus mathematics in computer science education

5. A discipline in crisis