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

  • Franklin L. DeRemer
  • Hans H. Kron
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 1)

Abstract

We distinguish the activity of writing large programs from that of writing small ones. By large programs we mean systems consisting of many small programs (“modules”) written by different people, possibly in different languages.

We need languages for programming-in-the-small, i.e. languages not unlike the common programming languages, for writing modules. We also need a “module interconnection language” for knitting those modules together, and for providing an overview that formally records the intent of the programmers and that can be checked for consistency.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clark, B.L., and Horning, J.J. “The system language for project SUE.” SIGPLAN Notices 6, 9 (October 1971).CrossRefGoogle Scholar
  2. Dijkstra, E.W. “Notes on structured programming.” In: Dahl, O.J., Dijkstra, E.W., and Hoare, C.A.W. “Structured Programming.” Academic Press, London, New York, 1972.Google Scholar
  3. George, J.E., and Sager, G.R. “Variables-Bindings and protection.” SIGPLAN Notices 8, 12 (December 1973).CrossRefGoogle Scholar
  4. Hoare, C.A.R. “Hints on programming language design.” Memo AIM-224, Computer Science Dept., Stanford University (1973). Also in: Proc. Symposium on Principles of Programming Languages, Boston, 1973.Google Scholar
  5. Ichbiah, J.D. “Visibility and separate compilations.” Proc. of IFIP WG 2. 4, La Grande Motte, France (May 1974).Google Scholar
  6. Liskov, B.H., and Zilles, S. “Programming with abstract data types.” Proc. Smposium on Very High Level Languages, SIGPLAN Notices 9, 4 (April 1974).Google Scholar
  7. Mills, H.D. “Chief programmer teams: Techniques and procedures.” IBM Internal Report (January 1970).Google Scholar
  8. Parnas, D.L. “Information distribution aspects of design methodology.” Technical Report, Dept. Computer Science, Carnegie-Mellon Univ. (1971).Google Scholar
  9. Presser, L., and White, J.R. “Linkers and loaders.” ACM Computing Surveys 4, 3 (September 1972).CrossRefGoogle Scholar
  10. Weinberg, G.M. “The Psychology of Computer Programming.” Van Nostrand Reinhold Co., New York, 1971.Google Scholar
  11. White, J.R., and Presser, L. “A tool for enforcing system structure.” Report CS-11, Dept. of E.E., U. of California, Santa Barbara (1972).Google Scholar
  12. Wulf, W., and Shaw, M. “Global variable considered harmful.” SIGPLAN Notices 8, 2 (February 1973).CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1976

Authors and Affiliations

  • Franklin L. DeRemer
    • 1
  • Hans H. Kron
    • 1
  1. 1.Information SciencesUniversity of California at Santa CruzSanta CruzUSA

Personalised recommendations