The impact of software engineering research on modern progamming languages

ACM Transactions on Software Engineering and Methodology

Volumn 14, Issue 4, 2005, Pages 431-477

  Ryder, Barbara G ^a   Soffa, Mary Lou ^b,d   Burnett, Margaret ^c,e  

^a RUTGERS UNIVERSITY   (United States)

^b UNIVERSITY OF VIRGINIA   (United States)

^c OREGON STATE UNIVERSITY   (United States)

^d University of Virginia   (United States)

^e Oregon State University   (United States)

Author keywords

Programming Languages; Software Engineering

Indexed keywords

DATA SUPPORT; PROGRAMMING LANGUAGE DESIGN; SYMBIOTIC RELATIONSHIP; VISUAL PROGRAMMING;

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; LOGIC DESIGN; TECHNICAL PRESENTATIONS;

SOFTWARE ENGINEERING;

EID: 33745178092     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/1101815.1101818     Document Type: Article

References (129)

1. ACMCS. 1989. ACM Comput. Surv., volume 21, issue 3.
2. AMBLER, A. L. AND BURNETT, M. M. 1989. Influence of visual technology on the evolution of language environments. Computer 22, 10 (Oct.), 9-22.
3. ARNSON, R., ROSEN, D., WAITE, M., AND ZUCK, J. 1992. The Visual Basic How-To. The Waite Group Press.
4. BAROTH, E. AND HARTSOUGH, C. 1995. Visual programming in the real world. In Visual Object-Oriented Programming: Concepts and Environments, M. Burnett, A. Goldberg, and T. Lewis, Eds. Prentice Hall, Manning Publications, and IEEE.
5. BASILI, V. R., SELBY, R. W., AND HUTCHENS, D. H. 1986. Experimentation in software engineering. IEEE Transactions Softw. Eng. 12, 1 (July), 733-743.
6. BERGIN, JR., T. AND GIBBON, JR., R. G., EDS. 1996. History of Programming Languages II. ACM Press and Addison-Wesley Company.
7. BIRTWISTLE, G. 1973. SIMULA BEGIN. Studentlitterature and Auerback Publishing, Inc., Lund, Sweden and Philadelphia, PA.
8. BOEHM, B. W. 1976. Software enginering. IEEE Trans. Comput. C-2B, 12 (Dec.), 1226-1241.
9. BORNING, A. 1981. The programming language aspects of thinglab, a constraint-oriented simulation laboratory. ACM Trans. Prog. Lang. Syst. 3, 4 (Oct.), 353-387.
10. BOTTONI, P., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1997. From visual language specification to legal visual interaction. In 1997 IEEE Symposium on Visual Languages. 234-241.
11. BRON, C., FOKKINGA, M., AND HAAS, A. 1975. A proposal for dealing with abnormal termination of programs. Tech. Rep. Mem 150, Twente University of Technology. November.
12. BURNETT, M., BAKER, M., BOHUS, C., CARLSON, P., YANG, S., AND VAN ZEE, P. 1995. Scaling up visual programming languages. Computer 28, 3 (Mar.), 45-54.
13. BURNETT, M. AND MCINTYRE, D. 1995. Visual programming. Computer 28, 3 (March), 14-16.
14. BURNETT, M., PENDSE, C. C. O., ROTHERMEL, G., SUMMET, J., AND WALLACE, C. 2003. End-user software engineering with assertions in the spreadsheet paradigm. In International Conference on Software Engineering, 93-103.
15. CARDELLI, L. AND WEGNER, P. 1985. On understanding types, data abstraction and polymorphism. ACM Comput. Surv. 17, 4 (Dec.), 471-522.
16. CARGILL, T. A. 1993. The case against multiple inheritance in C++. 101-109.
17. CHANG, S.-K., TAUBER, M. J., YU, B., AND YU, J.-S. 1989. A visual language compiler. IEEE Trans. Softw. Eng. 15, 5 (May), 506-525.
18. COLLINS, A. M. AND QUILLIAN, M. 1969. Retrieval time for semantic memory. J. Verb. Learn. Verb. Behav. 8, 240-247.
19. COOPER, A. 1996. Why I am called "the father of Visual Basic', http://www.cooper.com. Accessed December 26, 2002.
20. COURTOIS, P. J., HEYMANS, F., AND PARNAS, D. L. 1971. Concurrent control with rreaderss and rwriterss. Comm. ACM 14, 10, 667-668.
21. COX, P. T., GILES, F. R., AND PIETRZYKOWSKI, T. 1989. Prograph: A step towards liberating programming from textual conditioning. In 1989 IEEE Workshop on Visual Languages. 150-156.
22. CRIMI, C., GUERCIO, A., PACINI, G., TORTORA, G., AND TUCCI, M. 1990. Automating visual language generation. IEEE Trans. Softw. Eng. 16, 10 (Oct.), 1122-1135.
23. DAHL, O. AND NYGAARD, K. 1967. SIMULA 67 common base definition. Tech. rep., Norwegian Computing Center.
24. DAHL, O.-J., DIJKSTRA, E. W., AND HOARE, C. 1972. Structured Programming. Academic Press.
25. DIJKSTRA, E. 1969. Structured programming. In Software Engineering Techniques: Report on a Conference sponsored by the NATO Science Committees, J. Buxton and B. Randell, Eds. Rome, Italy, 84-88.
26. DIJKSTRA, E. W. 1965. Solution of a problem in concurrent programming control. Comm. ACM 8, 9 (Sept.), 569.
27. DIJKSTRA, E. W. 1968a. Cooperating sequential processes. In Programming Languages, F. Genuys, Ed. Academic Press, 43-112.
28. DIJKSTRA, E. W. 1968b. Go to statement considered harmful. Comm. ACM 11, 3, 147-148.
29. DOD, U. 1980. Reference manual for the Ada programming language. In DOD. New York.
30. ELLIS, M. A. AND STROUSTRUP, B. 1990. The Annotated C++ Reference Manual. Addison-Wesley Publishing.
31. FRANKEL, M. 1993. Enabling reuse with Ada generics. In Proceedings of the Tenth Annual Washington Ada Symposium on Ada's Role in Software Enginering, McClean, VA, 17-30.
32. GANNON, J. 1977. An experimental evaluation of data type conventions. Comm. ACM 20, 8, 584-595.
33. GANNON, J. AND HORNING, J. 1975. Language design for programming reliability. IEEE Trans. Softw. Eng. SE-1, 2 (June), 179-191.
34. GHEZZI, C. AND JAZAYERI, M. 1998. Programming Language Concepts. John Wiley & Sons.
35. GLINERT, E. P. AND TANIMOTO, S. L. 1984. Pict: An interactive graphical programming environment. Computer 17, 11 (Nov.), 7-25.
36. GOLDBERG, A. 1984. Smalltalk-80: The Interactive Programming Environment. Addison-Wesley.
37. GOLDBERG, A. AND ROBINSON, D. 1983. Smalltalk-80: the Language and Implementation. Addison-Wesley, Reading, MA.
38. GOODENOUGH, J. B. 1975a. Exception handling: Issues and a proposed notation. Comm. ACM 18, 12 (Dec.), 683-696.
39. GOODENOUGH, J. B. 1975b. Structured exception handling. In Conference Record of the Second Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages. 204-224.
40. GOSLING, J., JOY, B., AND STEELE, JR., G. L. 1996. The Java Language Specification. Addison-Wesley, Reading, MA.
41. GRAVER, J. O. AND JOHNSON, R. E. 1990. A type system for Smalltalk. In Conference Record of the 17th Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages. 136-150.
42. GREEN, T. AND PETEE, M. 1996. Usability analysis of visual programming environments: A 'cognitive dimensions' framework. J. Vis. Lang. Comput. 7, 2 (June), 131-174.
43. GUTTAG, J. V., HORNING, J. J., AND WING, J. M. 1985. The Larch family of specification languages. IEEE Softw. 2, 5 (Sept.), 24-36.
44. HABEHMANN, A. AND NOTKIN, D. 1986. Gandalf software development environment. IEEE Trans. Softw. Eng. SE-12, 12 (Dec.), 1117-1127.
45. HABERMANN, A. N. 1973. Critical comments on the programming language Pascal. Acta Informatica 3, 47-57.
46. HANSEN, P. B. 1972. Structured multiprogramming. Comm. ACM 15, 7 (July), 574-578.
47. HANSEN, P. B. 1975. The programming language concurrent Pascal. IEEE Trans. Softw. Eng. 1, 2, 199-207.
48. HANSEN, P. B. 1996. Monitors and concurrent Pascal: A personal history. In History of Programming Languages-II, T. Bergin and R. Gibson, Eds. Addison-Wesley, 121-172.
49. HARBISON, S. P. 1992. Modula-3. Prentice Hall.
50. HELM, R., MARRIOTT, K., AND ODERSKY, M. 1991. Building visual language parsers. In ACM Conference on Human Factors in Computing Systems. 105-112.
51. HIRAKAWA, M., TANAKA, M., AND ICHIKAWA, T. 1990. An iconic programming system, hi-visual. IEEE Trans. Softw. Eng. 16, 10 (Oct.), 1178-1184.
52. HOARE, C. 1969. An axiomatic approach to computer programming. Comm. ACM 12, 10 (Oct.), 576-580, 583.
53. HOARE, C. 1974a. Hints on programming language design. In State of the Art Report 20: Computer Systems Reliabilty, C. Bunyan, Ed. Pergamon/Infotech. This paper originated in a keynote address at the ACM SIGPLAN POPL conference in Boston in October 1973 and although it was not in the proceedings, it was distributed at the conference. A 1989 collection of Dr. Hoare's essays entitled Essays in Computing Science published by Prentice Hall, also contains a reprint of this paper.
54. HOARE, C. 1974b. Monitors: An operating systems structuring concept. Comm. ACM 17, 10 (Oct.), 549-557.
55. HOARE, C. 1978. Communicating sequential processes. Comm. ACM 21, 8 (Aug.), 666-677.
56. HOPKINS, M. E. 1972. A case for the goto. In Proceedings of the 25th National ACM Conference. 787-790.
57. HORNING, J. J. 1979. Programming languages. In Computing Systems Reliability, T. Anderson and B. Randell, Eds. Cambridge University Press, 109-152.
58. HOROWITZ, E. AND MUNSON, J. G. 1984. An expansive view of reusable software. Trans. Softw. Eng. SE-10, 5 (Sept.), 477-487.
59. ICHBIAH, J., HELIARD, J., ROUBINE, O., BARNES, J., KREIG-BRUECKNER, B., AND WICHMANN, B. A. 1979. Rationale for the design of the ADA programming language. ACM SIGPLAN Notices 14,6 (June), 1-261.
60. IEEESW 1989. IEEE Software, issue on parallel programming.
61. IFIP 2004. http://www.mlaa.com.au/IFIPWG2.4/index.htm.
62. INGALLS, D. 1978. The Smalltalk-76 programming system: Design and implementation. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 9-16.
63. KEFFER, T. 1995. Programming with the standard template library, sage advice for coping with the stl. Dr. Dobb's Journal 1995, SI3.
64. KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C. V., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the European Conference on Object-oriented Programming (ECOOP). Springer-Verlag LNCS 1241.
65. KOENIG, A. AND STROUSTRUP, B. 1993. Exception handling for C++. In The Evolution of C++: Language Design in the Marketplace of Ideas, J. Waldo, Ed. MIT Press, a USENIX Association book.
66. LIBRARY, I. S. R. 1970. IBM System/360 Operating System PL/I (F) Language Reference Manual. 4th edition.
67. LIPPERT, M. AND LOPES, C. V. 2000. A study on exception detection and handling using aspect-oriented programming. In Proceedings of the 22nd International Conference on Software Engineering. 418-427.
68. LISKOV, B. 1993. A history of CLU. In Proceedings of History of Programming Languages Conference (ACM SIGPLAN Notices, vol. 28, no. 3). 133-147.
69. LISKOV, B. AND GUTTAG, J. 1986. Abstraction and Specification in Program Development. MIT Press and McGraw-Hill Book Company.
70. LISKOV, B. AND SNYDER, A. 1979. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov.), 546-558.
71. LISKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, J. 1977. Abstraction mechanisms in CLU. Comm. ACM 20, 8, (Aug.), 564-576.
72. LISKOV, B. AND ZILLES, S. 1974. Programming with abstract data types. In ACM SIGPLAN Conference on Very High Level Languages. 50-59.
73. LISKOV, B. AND ZILLES, S. 1975. Specification techniques for data abstractions. IEEE Trans. Softw. Eng. SE-1, 7-19.
74. LISKOV, B. H. 1972. A design methodology for reliable software systems. In Proceedings of the Fall Joint Computer Conference. 191-198.
75. LITKE, J. 1990. A systematic approach for implementing fault tolerant software designs in Ada. In Proceedings of the Conference on TRI-Ada'90. 403-408.
76. LUCKHAM, D. C. AND POLAK, W. 1980. Ada exception handling: An axiomatic approach. ACM Trans. Prog. Lang. Syst. 2, 2 (April), 225-233.
77. MACLAREN, M. D. 1977. Exception handling in PL/I. In Proceedings of the ACM Conference on Language Design for Reliable Software. 101-104.
78. MADSEN, O. L., MAGNUSSON, B., AND MOLLER-PEDERSEN, B. 1990. Strong typing of object-oriented languages revisited. In Proceedings of the European Conference on Object-oriented Programming (ECOOP). 140-151.
79. MCCARTHY, J., ABRAMS, P. W., EDWARDS, D. J., HART, T. P., AND LEVIN, M. 1965. LISP 1.5 Programmer's Manual. MIT Press.
80. MCILROY, D. 1976. Mass-produced software components. In Software Engineering Concepts and Techniques, 1968 NATO Conference on Software Engineering, J. Buxton, P. Naur, and B. Randell, Eds. 88-98.
81. MILLER, R. AND MYERS, B. 2001. Outlier finding: focusing user attention on possible errors. In ACM User Interface Software and Technology. 81-90.
82. MURRAY, R. 1988. Building well-behaved type relationships in C++. In Proceedings of USENIX. 19-30.
83. MYERS, B. A. 1990. Creating user interfaces using programming by example, visual programming, and constraints. ACM Trans. Prog. Lang. Syst. 12, 2 (April), 143-177.
84. NYGAARD, K. AND DAHL, O.-J. 1978. The development of the SIMULA languages. In Proceedings of the History of Programming Languages Conference, ACM SIGPLAN Notices, vol. 13, no. 8. 245-276.
85. PANE, J., MYERS, B., AND MILLER, L. 2002. Using hci techniques to design a more usable programming system. In. IEEE Human-Centric Computing Languages and Environments. 198-206.
86. PARNAS, D. 1971. On the criteria to be used in decomposing systems into modules. Tech. Rep. Department of Computer Science, Carnegie-Mellon University.
87. PARNAS, D. 1972. On the criteria to be used in decomposing systems into modules. Comm. ACM 15, 2, 1053-1058.
88. PERRY, D. E. 1989. The inscape environment. In Proceedings of the 11th International Conference on Software Engineering. 2-12. Selected as best paper from 10 years ago ICSE.
89. PLAUGER, P. L. 1995. Standard C/C++ the standard template library. C/C++ Users Journal 13, 12, 10-20.
90. POPEK, G., HORNING, J., LAMPSON, B., MITCHELL, J., AND LONDON, R. 1977. Notes on the design of euclid. ACM Sigplan Not ices 12, 3, 11-18.
91. PRIETO-DIAZ, R. 1993. Status report: Software reusability. IEEE Softw. 10, 3 (May), 61-66.
92. RADIN, G. 1981. The early history and characteristics of PL/I. In History of Programming Languages, R. L. Wexelblat, Ed. Academic Press, 551-600.
93. RANDELL, B. 1975. System structure for software fault tolerance. In Proceedings of the International Conference on Reliable Software. 437-439.
94. RAZ, O., KOOPMAN, P., AND SHAW, M. 2002. Semantic anomaly detection in online data sources. In International Conference on Software Engineering, 302-312.
95. REDWINE, S. T. AND RIDDLE, W. E. 1985. Software technology maturation. In Proceedings of the 8th International Conference on Software Engineering. 189-200.
96. REISS, S. 1984. Graphical program development with pecan program development systems. In ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments.
97. ROBILLAHD, M. P. AND MURPHY, G. C. 2000. Designing robust Java programs with exceptions. In Proceedings of the 8th ACM SIGSOFT Symposium on Foundations of Software Engineering. 2-10.
98. ROSCHELLE, J., KOUTLIS, M., REPENNING, A., JACKIW, N., AND SUTHERS, D. 1999. Developing educational software components. Computer 32, 9 (Sept.), 50-58.
99. ROTHEHMEL, G., LI, L., DUPUIS, C., AND BURNETT, M. 1998. What you see is what you test: A methodology for testing form-based visual programs. In International Conference on Software Engineering. 198-207.
100. ROWE, L. A. 1980. Data abstraction from a programming language viewpoint. In ACM Workshop on Data Abstraction, Databases, and Conceptual Modeling.
101. ROWE, L. A., DEUTSCH, L. P., SHAW, M., THATCHER, J. W., MAYR, H. C., ZILLES, S. N., AND HAYES, P. J. 1980. Types (discussion). SIGMOD Record 11, 2, 43-52.
102. RUBIN, F. 1987. 'goto considered harmful considered harmful. Comm. ACM 30, 3, 195-196.
103. RUBIN, R. V., GOLIN, E. J., AND REISS, S. P. 1985. Thinkpad: A graphical system for programming by demonstration. IEEE Softw. 2, 2 (Mar.), 73-79.
104. SCOTT, M. L. 2000. Programming Language Pragmatics. Morgan Kaufmann Publishers, San Francisco, Ca.
105. SHAW, M. 1981. ALPHARD: Form and Content. Springer-Verlag, New York.
106. SHAW, M. 1984. Abstraction techniques in modern programming languages. IEEE Softw. 1, 4, 10-26.
107. SHAW, M. 2001. The coming-of-age of software architecture research. In Proceedings of the 23rd International Conference on Software Engineering. 657-664.
108. SHAW, M., ALMES, G. T., NEWCOMER, J., REID, B., AND WULF, W. 1978. Comparison of programming languages for software engineering. Tech. rep., Department of Computer Science, CMU.
109. SHAW, M., WULF, W. A., AND LONDON, R. L. 1977. Abstraction and verificiation is alphard: Defining and specifying iteration and generators. Comm. ACM 20, 3, 553-564.
110. SMITH, D. C. 1977. Pygmalion: A Computer Program to Model and Stimulate Creative Thought. Birkhauser.
111. STROUSTRUP, B. 1987. Possible directions for C++. In Proceedings of USENIX C++ Workshop.
112. STROUSTRUP, B. 1993. A history of C++: 1979-1991. In Proceedings of the History of Programming Languages Conference (ACM SIGPLAN Notices, vol. 28, no. 3). 699-755.
113. SUTHERLAND, I. E. 1963. Sketchpad: A man-machine graphical communication system. In AFIPS Spring Joint Computer Conference.
114. SUTHERLAND, W. 1966. On-line graphical specification of computer procedures. Tech. rep., MIT. MIT Ph.D. Thesis.
115. TANENBAUM, A. S. 1976. A tutorial on Algol68. ACM Comput. Surv. 8, 2 (June), 155-190.
116. TEITELBAUM, T. AND REPS, T. 1981. The Cornell Program Synthesizer: A syntax-directed programming environment. Comm. ACM 24, 9 (Sept.), 563-573.
117. TEITELMAN, W. 1984. A tour through cedar. In ICSE '84: Proceedings of the 7th International Conference on Software Engineering. IEEE Press, Piscataway, NJ, USA, 181-195.
118. TGS SYSTEMS. 1990. Prograph Tutorial Manual. The Gunakara Sun Systems, Ltd. 2nd Printing, July.
119. TICHY, W. F. 1998. Should computer scientists experiment more? 16 reasons to avoid experimentation. IEEE Comput. 31, 5 (May), 32-40.
120. VAN WIJNGAARDEN, A., MAILLOUX, B., PECK, J., KOSTER, C., SINTZOFF, M., LINDSEY, C., MEERTENS, L., AND FISKER, R. G. E. 1968. Revised Report on the Algorithmic Langauge ALGOL68.
121. Also appeared in ACM SIGPLAN Notices, Volume 12, Number 5, 1-70, May 1977; available online at http://members.dokom.net/2.kloke/RR/rrTOC.html.
122. WALDO, J. 1991. The case for multiple inheritance in C++. Comput. Syst. 4, 1, 111-120.
123. WEGNER, P. 1984. Capital-intensive software technology. IEEE Softw. 1, 3 (July), 43-97.
124. WIRTH, N. 1971a. Program development by stepwise refinement. Comm. ACM 14, 2, 221-227.
125. WIRTH, N. 1971b. The programming language Pascal. Acta Informatica 1, 35-63.
126. WIRTH, N. 1977. Modula: A language for modular multiprogramming. Software Practice and Experience 7, 3-35.
127. WULF, W., LONDON, R., AND SHAW, M. 1976. An introduction to the construction and verification of alphard programs. IEEE Trans. Softw. Eng. SE-2, 4, 390.
128. WULF, W. AND SHAW, M. 1973. Global variable considered harmful. SIGPLAN Notices 8, 28-34.
129. WULF, W. A., RUSSELL, D. B., AND HABERMANN, A. N. 1971. Bliss: A language for systems programming. Comm. ACM 14, 12, 780-790.