Encapsulated data types and generic procedures

  • Alan J. Demers
  • James E. Donahue
  • Ray T. Teitelbaum
  • John H. Williams
Section V - Workshop Position Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 54)


Reliable Software Type Definition Strong Typing Type Check Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Dahl et al. 1968]
    Dahl, O.-J., K. Nygaard and B. Myhrhaug, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Technical Report.Google Scholar
  2. [Dahl, Dijkstra and Hoare 1972]
    Dahl, O.-J., E.W. Dijkstra and C.A.R. Hoare, Structured Programming, Academic Press, 1972.Google Scholar
  3. [Fisher 1976]
    Fisher, David, Department of Defense Requirements for High Order Computer Programming Languages ("TINMAN") June 1976.Google Scholar
  4. [Gannon and Horning 1975]
    Gannon, J.D. and J.J. Horning, "The Impact of Language Design on the Production of Reliable Software", Proc. International Conference on Reliable Software, Los Angeles, April 1975, pp. 10–22.Google Scholar
  5. [Gries and Gehani 1975]
    Gries, David and Narain Gehani, "Some Ideas on Data Types in High Level Languages", Department of Computer Science, Cornell University, TR 75–244.Google Scholar
  6. [Guttag 1975]
    Guttag, J.V., The Specification and Application to Programming of Abstract Data Types, Technical Report CSRG-59, Computer Systems Research Group, Toronto, 1975.Google Scholar
  7. [Jensen and Wirth 1975]
    Jensen, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, Springer-Verlag, 1975.Google Scholar
  8. [Koster 1976]
    Koster, Cornelis H.A., "Visibility and Types" Proc. of Conference on Data: Abstraction, Definition and Structure, SIGPLAN Notices, Volume 8, Number 2 (Special Issue), 1976, pp. 179–190.Google Scholar
  9. [Lampson et al. 1976]
    Lampson, B.W., J.J. Horning, R.L. London, J.G. Mitchell, and G.S. Popek, Euclid Report (draft), private communication, 1976.Google Scholar
  10. [Ledgard 1972]
    Ledgard, Henry F., "A Model for Type Checking — with an Application to Algol 60", Comm. ACM, Volume 15, Number 11 (November 1972), pp. 956–966.Google Scholar
  11. [Liskov and Zilles 1974]
    Liskov, Barbara and Steven Zilles, "Programming with Abstract Data Types", Computation Structures Memo 99, Project MAC, M.I.T., March 1974.Google Scholar
  12. [Liskov 1976]
    Liskov, Barbara H., "An Introduction to CLU", Computation Structures Group Memo 136, Laboratory for Computer Science, M.I.T., February 1976.Google Scholar
  13. [Morris 1973]
    Morris, James H., Jr., "Protection in Programming Languages", Comm. ACM, Volume 16, Number 1 (January 1973), pp. 15–21.Google Scholar
  14. [Richards 1969]
    Richards, M., "BCPL: A Tool for Compiler and System Writing", Proceedings of the SJCC, Volume 34, 1969, pp. 557–566.Google Scholar
  15. [Reynolds 1975]
    Reynolds, John C., "User Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction", Conference on New Directions in Algorithmic Languages, IFIP Working Group 2.1, Munich, August 1975.Google Scholar
  16. [Wirth 1975]
    Wirth, Niklaus, "An Assessment of the Programming Language PASCAL", Proc. International Conference on Reliable Software, Los Angeles, April 1975, pp. 23–30.Google Scholar
  17. [Wulf et al. 1971]
    Wulf, W.A., D.B. Russell and A.N. Habermann, "BLISS: A Language for Systems Programming", Comm. ACM, Volume 14, Number 12 (December 1971), pp. 780–790.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Alan J. Demers
    • 1
  • James E. Donahue
    • 1
  • Ray T. Teitelbaum
    • 1
  • John H. Williams
    • 1
  1. 1.Computer Science DepartmentCornell UniversityUSA

Personalised recommendations