{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:29Z","timestamp":1725455969680},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354008360X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021423","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:19:12Z","timestamp":1132723152000},"page":"171-214","source":"Crossref","is-referenced-by-count":1,"title":["Encapsulated data types and generic procedures"],"prefix":"10.1007","author":[{"given":"Alan J.","family":"Demers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James E.","family":"Donahue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ray T.","family":"Teitelbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John H.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Dahl, O.-J., K. Nygaard and B. Myhrhaug, The Simula 67 Common Base Language, Norwegian Computing Center, Oslo, Technical Report."},{"key":"8_CR2","unstructured":"Dahl, O.-J., E.W. Dijkstra and C.A.R. Hoare, Structured Programming, Academic Press, 1972."},{"key":"8_CR3","unstructured":"Fisher, David, Department of Defense Requirements for High Order Computer Programming Languages (\"TINMAN\") June 1976."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"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\u201322.","DOI":"10.1145\/800027.808420"},{"key":"8_CR5","unstructured":"Gries, David and Narain Gehani, \"Some Ideas on Data Types in High Level Languages\", Department of Computer Science, Cornell University, TR 75\u2013244."},{"key":"8_CR6","volume-title":"The Specification and Application to Programming of Abstract Data Types","author":"J.V. Guttag","year":"1975","unstructured":"Guttag, J.V., The Specification and Application to Programming of Abstract Data Types, Technical Report CSRG-59, Computer Systems Research Group, Toronto, 1975."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Jensen, Kathleen and Niklaus Wirth, PASCAL User Manual and Report, Springer-Verlag, 1975.","DOI":"10.1007\/978-1-4615-9984-5"},{"key":"8_CR8","first-page":"179","volume":"8","author":"Koster","year":"1976","unstructured":"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\u2013190.","journal-title":"Proc. of Conference on Data: Abstraction, Definition and Structure, SIGPLAN Notices"},{"key":"8_CR9","unstructured":"Lampson, B.W., J.J. Horning, R.L. London, J.G. Mitchell, and G.S. Popek, Euclid Report (draft), private communication, 1976."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1145\/355606.361876","volume":"15","author":"Ledgard","year":"1972","unstructured":"Ledgard, Henry F., \"A Model for Type Checking \u2014 with an Application to Algol 60\", Comm. ACM, Volume 15, Number 11 (November 1972), pp. 956\u2013966.","journal-title":"Comm. ACM"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, Barbara and Steven Zilles, \"Programming with Abstract Data Types\", Computation Structures Memo 99, Project MAC, M.I.T., March 1974.","DOI":"10.1145\/800233.807045"},{"key":"8_CR12","unstructured":"Liskov, Barbara H., \"An Introduction to CLU\", Computation Structures Group Memo 136, Laboratory for Computer Science, M.I.T., February 1976."},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/361932.361937","volume":"16","author":"Morris","year":"1973","unstructured":"Morris, James H., Jr., \"Protection in Programming Languages\", Comm. ACM, Volume 16, Number 1 (January 1973), pp. 15\u201321.","journal-title":"Comm. ACM"},{"key":"8_CR14","first-page":"557","volume":"34","author":"M. Richards","year":"1969","unstructured":"Richards, M., \"BCPL: A Tool for Compiler and System Writing\", Proceedings of the SJCC, Volume 34, 1969, pp. 557\u2013566.","journal-title":"Proceedings of the SJCC"},{"key":"8_CR15","unstructured":"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."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Wirth, Niklaus, \"An Assessment of the Programming Language PASCAL\", Proc. International Conference on Reliable Software, Los Angeles, April 1975, pp. 23\u201330.","DOI":"10.1145\/800027.808421"},{"issue":"12","key":"8_CR17","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1145\/362919.362936","volume":"14","author":"W.A. Wulf","year":"1971","unstructured":"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\u2013790.","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0021423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T07:02:05Z","timestamp":1626764525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021423"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354008360X"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0021423","relation":{},"subject":[]}}