{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:26Z","timestamp":1725455966899},"publisher-location":"Berlin\/Heidelberg","reference-count":34,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354008360X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021421","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:19:12Z","timestamp":1132705152000},"page":"102-130","source":"Crossref","is-referenced-by-count":1,"title":["Some issues in data types and type checking"],"prefix":"10.1007","author":[{"given":"Benjamin M.","family":"Brosgol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Association for Computing Machinery, Proceedings of Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, March 22\u201324, 1976."},{"key":"6_CR2","volume-title":"CS-4 Language Reference Manual and Operating System Interface, Part I","author":"B. M. Brosgol","year":"1975","unstructured":"Brosgol, B. M., T. A. Dreisbach, J. L. Felty, J. R. Lexier, G. M. Palter, CS-4 Language Reference Manual and Operating System Interface, Part I; Intermetrics, Inc., Cambridge, Mass., October 1975."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Berry, D. M., Z. Erlich, C. J. Lucena, \"Correctness of Data Representations: Pointers in High Level Languages,\" in [ACM 76], pp. 115\u2013119.","DOI":"10.1145\/942574.807129"},{"key":"6_CR4","volume-title":"Sequential PASCAL Report","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P. and A. Hartmann, Sequential PASCAL Report, California Institute of Technology, Pasadena, Calif., July 1975."},{"key":"6_CR5","unstructured":"Currie, I. F., S. G. Bond, J. D. Morison, \"ALGOL 68-R,\" in [Pe 71], pp. 21\u201334."},{"key":"6_CR6","volume-title":"\"The Project SUE System Language Reference Manual,\" Report CSRG-42","author":"B. L. Clark","year":"1974","unstructured":"Clark, B. L. and F. J. B. Ham, \"The Project SUE System Language Reference Manual,\" Report CSRG-42, Univ. of Toronto, Canada, 1974."},{"key":"6_CR7","unstructured":"Department of Defense, Requirements for High Order Computer Programming Languages \"Tinman\", June 1976."},{"key":"6_CR8","volume-title":"Structured Programming","author":"O-J. Dahl","year":"1972","unstructured":"Dahl, O-J., E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, London, 1972."},{"key":"6_CR9","unstructured":"Dijkstra, E. W., \"On a language proposal for the Department of Defense,\" EWD514, Sept. 17, 1975."},{"key":"6_CR10","volume-title":"CS-4 Language Reference Manual and Operating System Interface, Part II","author":"D. E. Grimes","year":"1975","unstructured":"Grimes, D. E. and J. R. Lexier, CS-4 Language Reference Manual and Operating System Interface, Part II; Intermetrics, Inc., Cambridge, Mass., October 1975."},{"key":"6_CR11","unstructured":"Guttag, J. \"Abstract Data Types and the Development of Data Structures,\" in supplement to [ACM 76], pp. 37\u201346."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Hammer, M., \"Data Abstractions for Data Bases,\" in [ACM 76], pp. 58\u201359.","DOI":"10.1145\/942574.807118"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Horning, J. J., \"Some Desirable Properties of Data Abstraction Facilities,\" in [ACM 76], pp. 60\u201362.","DOI":"10.1145\/942574.807119"},{"key":"6_CR14","unstructured":"Hoare, C. A. R., \"Notes on Data Structuring,\" in [DDH 72], pp. 83\u2013174."},{"key":"6_CR15","volume-title":"Recursive Data Structures","author":"C. A. R. Hoare","year":"1973","unstructured":"Hoare, C. A. R., \"Recursive Data Structures,\" Stanford Artificial Intelligence Laboratory Memo AIM-223, Stanford University, Stanford, Calif., October 1973."},{"key":"6_CR16","unstructured":"Hoare, C. A. R., \"Comments by Prof. C. A. R. Hoare on: \"Tinman\" Set of Criteria and Needed Characteristics,\" Working Paper, December 5, 1975."},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. Hoare","year":"1973","unstructured":"Hoare, C. A. R. and N. Wirth, \"An Axiomatic Definition of the Programming Language PASCAL,\" Acta Informatica 2, pp. 335\u2013355, 1973.","journal-title":"Acta Informatica"},{"key":"6_CR18","series-title":"Technical Report","volume-title":"ECL Programmer's Manual","author":"G. Holloway","year":"1974","unstructured":"Holloway, G., J. Townley, J. Spitzen, B. Wegbreit, ECL Programmer's Manual, Technical Report 23-74, Center for Research in Computing Technology, Harvard University, Cambridge, Mass, December 1974."},{"key":"6_CR19","volume-title":"PASCAL User Manual and Report","author":"K. Jensen","year":"1975","unstructured":"Jensen, K. and N. Wirth, PASCAL User Manual and Report, Springer-Verlag, New York, 1975."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Kieburtz, R. B., \"Programming without Pointer Variables,\" in [ACM 76], pp. 95\u2013107.","DOI":"10.1145\/942574.807127"},{"key":"6_CR21","unstructured":"Koster, C. H. A., \"The Mode System in ALGOL 68,\" in [Sc 75], pp. 99\u2013114."},{"key":"6_CR22","volume-title":"SPL\/I Language Reference Manual for Compiler Release 4.0","author":"M. S. Kosinski","year":"1976","unstructured":"Kosinski, M. S., SPL\/I Language Reference Manual for Compiler Release 4.0, Intermetrics, Inc., Cambridge, Mass., July 1976."},{"key":"6_CR23","volume-title":"A Note on CLU","author":"B. Liskov","year":"1974","unstructured":"Liskov, B., \"A Note on CLU,\" Computation Structures Group Memo 112, Massachusetts Institute of Technology, Cambridge, Mass., November 1974."},{"key":"6_CR24","unstructured":"Litton Systems, Inc., Data Systems Division, CPCEI Specification for Compiler\/Assembler for Fire Direction System, Artillery AN\/GSG-10 () (V), Vol. 1, April 1971."},{"key":"6_CR25","unstructured":"Meertens, L., \"Mode and Meaning,\" in [Sc 75], pp. 125\u2013138."},{"key":"6_CR26","volume-title":"CS-4 Language Reference Manual","author":"J. S. Miller","year":"1973","unstructured":"Miller, J. S., C. M. Mikkelsen, J. R. Nestor, B. M. Brosgol, J. T. Pepe, R. Fourer, CS-4 Language Reference Manual, Intermetrics, Inc., Cambridge, Mass, December 1973."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Naur, P. (ed.), \"Revised Report on the Algorithmic Language ALGOL 60,\" Comm. ACM 6, pp. 1\u201317, January 1963.","DOI":"10.1145\/366274.366286"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Nordstr\u00f6m, B., \"An Outline of a Mathematical Model for the Definition and Manipulation of Data,\" in [ACM 76], pp. 1\u201311.","DOI":"10.1145\/942574.807112"},{"volume-title":"ALGOL 68 Implementation","year":"1971","key":"6_CR29","unstructured":"Peck, J. E. L. (ed.), ALGOL 68 Implementation, North Holland Publishing Company, Amsterdam, 1971."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Parnas, D. L., J. E. Shore, D. Weiss, \"Abstract Types Defined as Classes of Variables,\" in [ACM 76], pp. 149\u2013154.","DOI":"10.1145\/942574.807133"},{"volume-title":"New Directions in Algorithmic Languages 1975","year":"1975","key":"6_CR31","unstructured":"Schuman, S. A. (ed.), New Directions in Algorithmic Languages 1975, IRIA, France, 1975."},{"key":"6_CR32","volume-title":"Data Structures: an Axiomatic Approach","author":"T. A. Standish","year":"1971","unstructured":"Standish, T. A., \"Data Structures: an Axiomatic Approach,\" Harvard University, Cambridge, Mass., January 1971."},{"key":"6_CR33","volume-title":"ALGOL 60 Compilation and Assessment","author":"B. A. Wichmann","year":"1973","unstructured":"Wichmann, B. A., ALGOL 60 Compilation and Assessment, Academic Press, London, 1973."},{"key":"6_CR34","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1002\/spe.4380010403","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N., \"The Design of a PASCAL Compiler,\" Software-Practice and Experience, Vol. 1, pp. 309\u2013333, 1971.","journal-title":"Software-Practice and Experience"}],"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\/BFb0021421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:18:29Z","timestamp":1586564309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354008360X"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0021421","relation":{},"subject":[]}}