|
 ABSTRACT
As computer technology matures, our growing ability to create large systems is leading to basic changes in the nature of programming. Current programming language concepts will not be adequate for building and maintaining systems of the complexity called for by the tasks we attempt. Just as high level languages enabled the programmer to escape from the intricacies of a machine's order code, higher level programming systems can provide the means to understand and manipulate complex systems and components. In order to develop such systems, we need to shift our attention away from the detailed specification of algorithms, towards the description of the properties of the packages and objects with which we build. This paper analyzes some of the shortcomings of programming languages as they now exist, and lays out some possible directions for future research.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Belady, L.A. Large software systems. Res. Rep. RC 6966 (#29862), IBM Thomas J. Watson Res. Ctr., Yorktown Heights, N.Y., Jan. 1978.
|
| |
2
|
Dijkstra, E.W. On the interplay between mathematics and programming. Unpublished lecture, EWD641, 1977.
|
| |
3
|
Fisher, D.A. DoD's common programming language effort. Computer (March 1978), 25-33.
|
| |
4
|
Wulf, W.A. Some thoughts on the next generation of programming languages. In Perspectives on Computer Science, A.K. Jones, Ed., New York, Academic Press, 1977.
|
 |
5
|
|
| |
6
|
Bobrow, D., and Winograd, T. An overview of KRL, a knowledge representation language, Cognitive Science 1, 1 (Jan. 1977), 3-46.
|
| |
7
|
Bobrow, D., Winograd, T., and the KRL research group. ExperienCe with KRL-0: One cycle of a knowledge representation language, Fifth Int. Joint Conf. on Artif. Intell., pp. 223-227.
|
| |
8
|
Brachman, R. What's in a concept: Structural foundations for semantic networks, Int. J. Man-Machine Studies 9 (Sept. 1977), 127- 152.
|
| |
9
|
Davis, R. Knowledge about representations as a basis for system construction and maintenance. In Pattern Directed Inference Systems, D.A. Waterman, Ed., Academic Press, New York, 1978.
|
| |
10
|
Fikes R., and Hendrix, G. A network-based knowledge representation and its natural deduction system. Fifth Int. Joint Conf. on Artif. lntell., pp. 235-246.
|
| |
11
|
|
| |
12
|
Hayes, P. Some problems and non-problems in representation theory. AISB Conf. 1974, pp. 63-79.
|
| |
13
|
Hayes, P. In Defense of Logic. Fifth Int. Joint Conf. on Artif. Intell., pp. 559-565.
|
| |
14
|
Levesque, H. A procedural approach to semantic networks. TR- 105 Dept. of Comptr. Sci., U. of Toronto, Canada, 1977.
|
| |
15
|
Woods, B. What's in a link? In Representation and Understanding, Bobrow and Collins, Eds., 1975.
|
| |
16
|
|
| |
17
|
Burstall, R.M., and Goguen, J.A. Putting specifications together. Fifth Int. Joint Conf. on Artif. Intell., 1977.
|
| |
18
|
|
| |
19
|
|
| |
20
|
Holback-Hanssen, E., Handlykken, P., and Nygaard, K. System description and the delta language. Delta Proj. Rep. #4, Norwegian Comptg. Ctr. Pub. #523, Oslo, Sept. 1975.
|
| |
21
|
|
| |
22
|
|
| |
23
|
|
| |
24
|
|
| |
25
|
Falkoff, A.D., and Iverson, K.E. The design of APL. IBM J. Res Develop. (1973), 324--334.
|
| |
26
|
|
| |
27
|
Kowalski, R. Predicate calculus as a programming language. Information Processing 75, North-Holland Pub. Co., Amsterdam, 1975.
|
| |
28
|
|
| |
29
|
|
| |
30
|
Schwartz, J. On programming: An interim report on the SETL project. Installment I: Generalities. N.Y.U. Courant Inst., New York, Feb. 1973.
|
| |
31
|
|
| |
32
|
|
| |
33
|
|
| |
34
|
Geschke, C.M., and Mitchell, J.G. On the problem of uniform references to data structures. IEEE Trans. on Software Eng. (June 1975), 207-219.
|
| |
35
|
|
| |
36
|
|
| |
37
|
|
| |
38
|
|
| |
39
|
|
| |
40
|
|
| |
41
|
|
| |
42
|
Holt, A. Introduction to occurrence systems. In Associative Information Techniques, Jacks, Ed., Elsevier, 1971, pp. 175-203.
|
| |
43
|
Humby, E. Programs from Decision Tables. McDonald/Elsevier, 1973.
|
| |
44
|
|
| |
45
|
Morgan, H.L. Event sequenced programming. Tech. Rep. 119 Dept. of Operations Research, Cornell U., Ithaca, N.Y., July 1970.
|
| |
46
|
Reiger, C. The commonsense algorithm as a basis for computer models of human memory, inference, belief and contextual language comprehension. In Theoretical Issues in Natural Language Processing, Shank and Nash-Webber, Eds., 1976, pp. 180-195.
|
| |
47
|
Rychener, M. Production systems: A case for simplicity in AI control structures. Draft of paper submitted to ACM 1977 Nat. Conf.
|
| |
48
|
Sacerdoti, E. The non-linear nature of plans. Fourth Int. Joint Conf. on Artif. lntell., pp. 206-214.
|
| |
49
|
Barnett, J. Module linkage and communication in large systems. In Speech Recognition, D.R. Reddy, Ed., pp. 500-520.
|
| |
50
|
|
| |
51
|
Hewitt, C., and Smith, B. Towards a programming apprentice. 1EEE Trans. Software Eng. SE-1 (March 1976), 26-45.
|
| |
52
|
|
| |
53
|
|
| |
54
|
Lesser, V. Parallel procesing in speech understanding systems: A survey of design problems. In Speech Recognition, D.R. Reddy, Ed., 1975, pp. 481-499.
|
| |
55
|
Levin, M., et al. The Lisp 1.5 Programmer's Manual, M.I.T., Cambridge, Mass. 1965.
|
| |
56
|
|
| |
57
|
Teitelman, W. A display oriented programmer's assistant. Fifth Int. Joint Conf. on Artif. Intell., 1977, pp. 905-915.
|
| |
58
|
Teitelman, W., et al. Interlisp Reference Manual-Xerox PARC, 1978.
|
CITED BY 33
|
|
F. M. Rijnders , H. J. W. Spoelder , E. P. M. Corten , A. H. Ullings , F. C. A . Croen, Versatile visual programming environment for scientific applications, Proceedings of the 1991 ACM SIGSMALL/PC symposium on Small systems, p.21-26, June 12-14, 1991, Toronto, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf