Program design — A practical approach
There is an increasing wealth of experience with abstract data types. This experience encompasses informal discussion of abstract data types, their formal specification, programming language constructs to facilitate their implementation, and the formal verification of implementations. This paper shows how abstract data types may be used as the basis of a top-down method of program design which leads to programs with a high degree of information hinding.
KeywordsInput File Program Design Output File Input Module Output Module
Unable to display preview. Download preview PDF.
- Shaw, M.: The impact of abstraction concerns on modern programming languages. In: Studies in ADA style. Springer-Verlag (104 pages) 1981.Google Scholar
- Guttag, J.V., Horowitz, E. and Musser, D.R.: Abstract data types and software validation. Comm.ACM, Vol.21.No.12. Dec. 1978.Google Scholar
- Kolstad, R.B. and Campbell, R.H.: Path Pascal user manual. SIGPLAN Notices, Vol.15.No.9.pp.15–24, Sep.1980.Google Scholar
- Dahl, O-J., Myhrhang, B. and Nygaard, K.: The Simula 67 common base language. Norwegian Computer Centre, Oslo, 1968.Google Scholar
- Welsh, J. and McKeag, M.: Structured system programming. Prentice-Hall (324 pages), 1980.Google Scholar
- Reference manual for the Ada programming language. US Department of Defense (260 pages), 1980.Google Scholar
- Dungan, D.M.: Bibliography on data types. SIGPLAN Notices, Vol.14, No.11.pp. 31–59, Nov.1979.Google Scholar
- Parnas, D.L.: On the design and development of program families. IEEE Trans. on Software Engineering, Vol.SE-2,No.1, pp. 1–9, March 1976.Google Scholar
- Jones, C.B.: Software development: a rigorous approach. Prentice-Hall (382 pages), 1981.Google Scholar