Skip to main content
SpringerLink
Log in

Encapsulated data types and generic procedures

  • Section V - Workshop Position Papers
  • Conference paper
  • First Online:
Design and Implementation of Programming Languages

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 54))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dahl, O.-J., K. Nygaard and B. Myhrhaug, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Technical Report.

    Google Scholar 

  2. Dahl, O.-J., E.W. Dijkstra and C.A.R. Hoare, Structured Programming, Academic Press, 1972.

    Google Scholar 

  3. Fisher, David, Department of Defense Requirements for High Order Computer Programming Languages ("TINMAN") June 1976.

    Google Scholar 

  4. 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, 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, 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, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, Springer-Verlag, 1975.

    Google Scholar 

  8. 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, 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, 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, Barbara and Steven Zilles, "Programming with Abstract Data Types", Computation Structures Memo 99, Project MAC, M.I.T., March 1974.

    Google Scholar 

  12. 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, James H., Jr., "Protection in Programming Languages", Comm. ACM, Volume 16, Number 1 (January 1973), pp. 15–21.

    Google Scholar 

  14. Richards, M., "BCPL: A Tool for Compiler and System Writing", Proceedings of the SJCC, Volume 34, 1969, pp. 557–566.

    Google Scholar 

  15. 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, 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, 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 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Cornell University, USA

    Alan J. Demers, James E. Donahue, Ray T. Teitelbaum & John H. Williams

Authors
  1. Alan J. Demers
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James E. Donahue
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ray T. Teitelbaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John H. Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John H. Williams David A. Fisher

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Demers, A.J., Donahue, J.E., Teitelbaum, R.T., Williams, J.H. (1977). Encapsulated data types and generic procedures. In: Williams, J.H., Fisher, D.A. (eds) Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021423

Download citation

  • DOI: https://doi.org/10.1007/BFb0021423

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08360-3

  • Online ISBN: 978-3-540-37260-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation