The Impact of Abstraction Concerns on Modern Programming Languages

Proceedings of the IEEE

Volumn 68, Issue 9, 1980, Pages 1119-1130

  Shaw, Mary ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

COMPUTER SOFTWARE;

EID: 0019057084     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1980.11811     Document Type: Article

References (76)

1. A. L. Ambler, D. I. Good, J. C. Browne, W. F. Burger, R. M. Cohen, C. G. Hoch, and R. E. Wells, “Gypsy: A language for specification and implementation of verifiable programs,” Ass. Comput. Mach. SIGPL AN Notices, vol. 12, 3, Mar. 1977.
2. J. L. Bentley and M. Shaw, “An Alphard specification of a correct and efficient transformation on data structures,” in Proc. IEEE Conf. Specifications of Reliable Software, pp. 222-237, Apr. 1979.
3. K. L. Bowles, Microcomputer Problem Solving Using Pascal. New York: Springer-Verlag, 1977.
4. P. Brinch Hansen, “The programming language Concurrent Pascal,” IEEE Trans. Software Eng., vol. SE-1, June 1975.
5. F. P. Brooks, Jr. The Mythical Man-Month: Essays on Software Engineering. Reading, MA: Addison-Wesley, 1975.
6. J. C. Browne, “The interaction of operating systems and software engineering,” this issue, pp. 1045-1049.
7. J. N. Buxton and B. Randell, Eds., Software Engineering Techniques. NATO, 1970. Report on a Conference Sponsored by the NATO Science Committee (Rome, Italy), Oct. 27-31, 1969.
8. O.-J. Dahl, Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Norway, 1968.
9. O.-J. Dahl and C. A. R. Hoare, “Hierarchial program structures,” in Structured Programming. New York: Academic Press, 1972, pp. 175-220.
10. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming. New York: Academic Press, 1972.
11. A. M. Davis and T. G. Rauscher, “Formal techniques and automatic processing to ensure correctness in requirements specifications,” in Proc. IEEE Conf. Specifications of Reliable Software, IEEE Comput Soc, pp. 15-35, 1979.
12. A. J. Demers and J. E. Donahue, “Data types, parameters and type checking,” in Proc. ACM Symp. Principles of Programming Languages, ACM SIGACT and SIGPL AN, pp. 12-23, Jan. 1980.
13. Department of Defense, Steelman Requirements for High Order Computer Programming Languages, 1978.
14. Department of Defense, Requirements for Ada Programming Support Environments: Stoneman, 1980.
15. F. De Renter and H. H. Kron, “Programming-in-the-Large vs. Programming-in-the-Small,” IEEE Trans. Software Eng., vol. SE-2, June 1976.
16. E. W. Dijkstra, “GOTO statement considered harmful,”Commun. Ass. Comput. Mach.,vol. 11,no. 3,Mar. 1968.
17. “Notes on structured programming,” in Structured Programming. New York: Academic Press, 1972, pp. 1-82.
18. R. Feiertag and P. G. Neumann, “The foundations of a provably secure operating system (PSOS),” in Proc. Nat. Computer Conf., pp. 329-334, 1979.
19. R. W. Floyd, “Assigning meanings to programs,” in Proc. Symp. Applied Mathematics, American Mathematical Society, pp. 19-32, 1967.
20. S. Gerhart and L. Yelowitz, “Observations of fallibility in applications of modern programming methodologies,” IEEE Trans. Software Eng., vol. SE-2, Sept. 1976.
21. S. L. Gerhart and D. S. Wile, “Preliminary report on the Delta experiment: Specification and verification of a multiple-user file updating module,” in Proc. IEEE Conf. Specifications of Reliable Software, IEEE Comput. Soc, pp. 198-211, 1979.
22. C. M. Geschke, J. H. Morris, Jr., and E. H. Satterthwaite, “Early experience with Mesa,” Commun. Ass. Comput. Mach., vol. 20, no. 8, Aug. 1977.
23. J. Goldberg, Proc. Symp. High Cost of Software, Stanford Res. Inst, Sept. 1973.
24. D. I. Good, “Constructing verified and reliable communications processing systems,” ACM Software Eng. Notes, vol. 2, no. 5, Oct. 1977.
25. J. B. Goodenough and C. L. McGowan, “Software quality assurance: Testing and validation,” this issue, pp. 1093-1098.
26. L. R. Guarino, “The evolution of abstraction in programming languages,” Carnegie-Mellon Univ., Pittsburgh, PA, Tech. Rep. CMU-CS-78-120, May 1978.
27. J. V. Guttag, “Abstract data types and the development of data structures,” Commun. Ass. Comput. Mach., vol. 20, no. 6, June 1977.
28. J. V. Guttag, E. Horowitz, and D. R.Musser, “Abstract datatypes and software validation,” Commun. Ass. Comput. Mach., vol. 21, no. 12, Dec. 1978.
29. J. V. Guttag, “Notes on type abstraction (version 2),” IEEE Trans. Software Eng., vol. SE-6, pp. 13-23, Jan. 1980.
30. J. Guttag and J. J. Horning, “Formal Specification as a design tool,” in Proc. ACM Symp. Principles of Programming Languages, ACM SIGACT and SIGPLAN, pp. 251-261, Jan. 1980.
31. K. L. Heninger, “Specifying software requirements for complex systems: New techniques and their applications,” in Proc. IEEE Conf. Specifications of Reliable Software, IEEE Comput. Soc, pp. 1-14, 1979.
32. C. A. R. Hoare, “An axiomatic basis for computer programming,” Commun. Ass. Comput. Mach., vol. 12, Oct. 1969.
33. “Proof of correctness of data representations,” Acta Informatica, vol. 1,no. 4,1972.
34. “Notes on data structuring,” in Structured Programming. New York: Academic Press, 1972, pp. 83-174.
35. C. A. R. Hoare and N. Wirth, “An axiomatic definition of the programming language Pascal,” Acta Informatica, vol. 2, no. 4, 1973.
36. W. E. Howden, “An analysis of software validation techniques for scientific programs,” Dep. Math., Univ. of Victoria, Victoria, B.C., Tech. Rep. DM-171-IR, Mar. 1979.
37. J. D. Ichbiah et at, “Preliminary Ada reference manual,” Ass. Comput. Mach. SIGPLAN Notices, vol. 14, no. 6A, June 1979.
38. J. D. Ichbiah et al., “Rationale for the design of the Ada programming language,” Ass. Comput. Mach. SIGPLAN Notices, vol. 14, no. 6B, June 1979.
39. Draft Specification for the Computer Programming Language Pascal. International Organization for Standardization, 1979. (ISO/TC97/SC5N.)
40. K. Jensen and N. Wirth, Pascal User Manual and Report. New York: Springer-Verlag, 1974.
41. A. K. Jones and B. H. Liskov, “An access control facility for programming languages,” M.I.T. Computation Structures Group and Carnegie-Mellon Univ., 1976.
42. B. W. Kernighan and P. J. Plauger, Software Tools. Reading, MA: Addison-Wesley, 1976.
43. D. E. Knuth, The Art of Computer Programming, vol. 1: Fundamental Algorithms, 2nd ed. Reading, MA: Addison-Wesley, 1973.
44. B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, and G. J. Popek, “Report on the programming language Euclid,” Ass. Comput. Mach. SIGPLAN Notices, vol. 12, no. 2, Feb. 1977.
45. B. H. Liskov and S. N. Zitles. “Specification techniques for data abstractions,”IEEE Trans. Software Eng., vol. SE-1, Mar. 1975.
46. B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert, “Abstraction mechanisms in CLU,” Commun. Ass. Comput. Mach., vol. 20, no. 8, Aug. 1977.
47. R. L. London, “A view of program verification,” in Proc. Int. Conf. Reliable Software, pp. 534-545, Apr. 1975.
48. R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, and G. J. Popek, “Proof rules for the programming language Euclid,” Acta Informatica, vol. 10, no. 1, pp. 1-26, 1978.
49. Z. Manna, Mathematical Theory of Computation. New York: McGraw-Hill, 1974.
50. J. K. Millen. “Security kernel validation in practice,” Commun. Ass. Comput. Mach., vol. 19, no. 5, May 1976.
51. J. H. Morris, “Types are not sets,” in Proc. ACM Symp. Principles of Programming Languages, pp. 120-124, 1973.
52. J. H. Morris, “Protection in programming languages,” Commun. Ass. Comput. Mach., vol. 16, Jan. 1973.
53. P. Naur and B. Randell, Eds., Software Engineering. NATO, 1969, Report on a Conference Sponsored by the NATO Science Committee (Garmisch, Germany), Oct. 7-11, 1968.
54. D. L. Parnas, “Information distribution aspects of design methodology,” in Proc. IFIP Congr., booklet TA-3, pp. 26-30, 1971.
55. “A technique for software module specification with examples,” Commun. Ass. Comput. Mach., vol. 15, May 1972.
56. “On the criteria to be used in decomposing systems into modules,” Commun. Ass. Comput. Mach., vol. 15, no. 12, Dec. 1972.
57. L. Peters, “Software design engineering,” this issue, pp. 1085-1093.
58. Workshop on Quantitative Software Models for Reliability, Complexity, and Cost: an Assessment of the State of the Art, 1979. (IEEE Catalog no. TH0067-9.)
59. L. H. Ramshaw, “Formalizing the analysis of algorithms,” Ph.D. dissertation, Stanford Univ., 1979.
60. S. A. Schuman, Ed., “Proceedings of the international symposium on extensible languages,” Ass. Comput. Mach. SIGPLAN Notices, vol. 6, Dec. 1971.
61. S. A. Schuman, “On generic functions,” in New Directions in Algorithmic Languages-1975, 1976, pp. 169-192.
62. M. Shaw, W. A. Wulf and R. L. London “Abstraction and verification in Alphard: Defining and specifying iteration and generators,” Commun. Ass. Comput. Mach., vol. 20, no. 8, Aug. 1977.
63. M. Shaw, G. Feldman, R. Fitzgerald, P. Hilfinger, I. Kimura, R. London, J. Rosenberg, and W. A. Wulf, “Validating the utility of abstraction techniques,” in Proc. ACM Nat. Conf., ACM, pp. 106-110, Dec. 1978.
64. M. Shaw, “A formal system for specifying and verifying program performance,” Carnegie-Mellon Univ., Tech. Rep. CMU-CS-79-129, June 1979.
65. M. Shaw and W. A. Wulf, “Toward relaxing assumptions in languages and their implementations,” SIGPLAN Notices, vol. 13, no. 3, pp. 45-61, Mar. 1980.
66. Proc. Conf. Specifications of Reliable Software, (Long Beach, CA), 1979. (IEEE Catalog no. 79CH1401-9C.)
67. T. A. Standish, “A data definition facility for programming languages,” Ph.D. dissertation, Dep. Comput. Sci., Carnegie-Mellon Univ., 1967.
68. Tutorial: Automated Tools for Software Engineering, 1979. (IEEE Catalog no. EH0150-3.)
69. B. J. Walker, R. A. Kemmerer, and G. J. Popek, “Specification and verification of the UCLA security kernel,” Commun. ACM, vol. 23, no. 2, Feb. 1980.
70. J. H. Wensley, L. Lamport, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, andC.B.Weinstock, “SIFT: Design and analysis of a fault-tolerant computer for aircraft control,” Proc. IEEE, vol. 66, pp. 1240-1255, Oct. 1978.
71. N. Wirth, “Program development by stepwise refinement,” Commun. Ass. Comput. Mach., vol. 14, no. 4, Apr. 1971.
72. “Modula: A language for modular programming,” Software Practice Experience, vol. 7, no. 1, Jan. 1977.
73. W. Wulf and M. Shaw, “Global variable considered harmful,” Ass. Comput. Mach. SIGPLAN Notices, vol. 8, Feb. 1973.
74. W. A. Wulf, R. L. London, and M. Shaw, “An introduction to the construction and verification of Alphard programs,” IEEE Trans. Software Eng., vol. SE-2, Dec. 1976.
75. W. A. Wulf, M. Shaw, L. Flon, and P. N. Hiiringet, Fundamental Structures of Computer Science. Reading, MA: Addison-Wesley, 1980, to be published.
76. R. T. Yeh and P. Zave, “Specifying software requirements,” this issue, pp. 1077-1085.