Programming-in-the-Large Versus Programming-in-the-Small

IEEE Transactions on Software Engineering

Volumn SE-2, Issue 2, 1976, Pages 80-86

  Deremer, Frank ^a   Kron, Hans H ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Accessibility; external name; information hiding; linking; module interconnection language; project management tool; protection; scope of definition; system hierarchy; visibility; vwirtual machine

Indexed keywords

COMPUTER METATHEORY;

EID: 0016963069     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1976.233534     Document Type: Article

References (20)

1. B. L. Clark and J. J. Horning, “The system language for project SUE,” SIGPLANNotices, vol. 6, Oct. 1971.
2. E. W. Dijkstra, “Notes on structured programming,” in Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Ed. New York: Academic, 1972.
3. J. E. George and G. R. Sager, “Variables-Bindings and protection,” SIGPLAN Notices, vol. 8, Dec. 1973.
4. J. Guttag, “The use of type for the definition of abstract data objects,” Dept. Comput. Sci., Univ. Toronto, Ont., Canada, Mar. 1974.
5. C. A. R. Hoare, “Proof of correctness of data representations,” Acta Informatica, vol. 1, pp. 271-281, 1972.
6. C. A. R. Hoare, “Hints on programming language design,” Memo AIM-224, Comput. Sci. Dept., Stanford University, Dec. 1973; also in Proc. Symp. Principles of Programming Languages, Boston, Oct. 1973.
7. J. D. Ichbiah, “Visibility and separate compilations,” in Proc. IFIP WG 2.4, La Grande Motte, France, May 1974.
8. D. E. Knuth, “Semantics of context-free languages,” Mathematical Systems Theory, vol. 2, 1968.
9. B. H. Liskov, “A design methodology for reliable software systems,” in 1972 Fall Joint Comput. Conf., AFIPS Conf. Proc., vol. 41. Montvale, NJ: AFIPS Press, 1972, pp. 191-199.
10. B. H. Liskov and S. Zilles, “Programming with abstract data types,” in Proc. Symp. Very High Level Languages, SIGPLAN Notices, vol. 9, Apr. 1974.
11. J. Maynard, Modular Programming. New York: Petrocelli Books, 1972.
12. H. D. Mills, “Chief programmer teams: Techniques and procedures,” IBM Internal Rep., Jan. 1970.
13. D. L. Parnas, “Information distribution aspects of design methodology,” Tech. Rep., Dept. Comput. Sci., Carnegie-Mellon University, Feb. 1971.
14. D. L. Parnas, “A technique for software module specifications with examples,” Commun. Ass. Comput. Mach., vol. 15, May 1972.
15. L. Presser and J. R. White, “Linkers and loaders,” ACM Comput. Surveys, vol. 4, Sept. 1972.
16. M. Richards, “The BCPL reference manual,” Memo 69/1, The University Mathematical Laboratory, Cambridge, England, Jan. 1969.
17. G. M. Weinberg, The psychology of computer programming. New York: Van Nostrand Reinhold, 1971, pp. 71-75.
18. J. R. White, and L. Presser, “A tool for enforcing system structure,” Rep. CS-11, Dept. Elec. Eng., Univ. California, Santa Barbara, Apr. 1972.
19. N. Wirth and C. A. R. Hoare, “A contribution to the development of ALGOL,” Commun. Ass. Comput. Mach., vol. 6, June 1966.
20. W. Wulf and M. Shaw, “Global variables considered harmful,” SIGPLAN Notices, vol. 8, Feb. 1973.