{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T08:27:45Z","timestamp":1699777665925},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1977,10,1]],"date-time":"1977-10-01T00:00:00Z","timestamp":244512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1977,10]]},"DOI":"10.1007\/bf00271340","type":"journal-article","created":{"date-parts":[[2006,2,16]],"date-time":"2006-02-16T05:11:48Z","timestamp":1140066708000},"page":"315-324","source":"Crossref","is-referenced-by-count":10,"title":["On a new approach to representation independent data classes"],"prefix":"10.1007","volume":"8","author":[{"given":"R. D.","family":"Tennent","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF00271340_CR1","doi-asserted-by":"crossref","unstructured":"ACM Conference on Data: Abstraction, definition and structure, Salt Lake City, 1976. SIGPLAN Notices 11, special issue (1976)","DOI":"10.1145\/942574.807123"},{"key":"BF00271340_CR2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"1","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P.: The programming language Concurrent Pascal. IEEE Trans. Software Engrg. 1, 199\u2013207 (1975)","journal-title":"IEEE Trans. Software Engrg."},{"key":"BF00271340_CR3","unstructured":"Elder, J.: Data representations in high-level programming languages. Queen's University of Belfast, Ph. D. thesis, 1975"},{"key":"BF00271340_CR4","doi-asserted-by":"crossref","unstructured":"Gries, D., Gehani, N.: Some ideas on data types in high-level languages. Dept. of Computer Science, Cornell University, TR-75-244, 1975","DOI":"10.1145\/800237.807130"},{"key":"BF00271340_CR5","first-page":"291","volume-title":"Programming languages","author":"C.A.R. Hoare","year":"1968","unstructured":"Hoare, C.A.R.: Record handling. In: Programming languages (F. Genuys, ed.), pp. 291\u2013347. London: Academic Press 1968"},{"key":"BF00271340_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informat. 1, 271\u2013281 (1972)","journal-title":"Acta Informat."},{"key":"BF00271340_CR7","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1093\/comjnl\/15.4.321","volume":"15","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R.: Proof of a structured program: the sieve of Eratosthenes. Comput. J. 15, 321\u2013325 (1973)","journal-title":"Comput. J."},{"key":"BF00271340_CR8","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/954666.971189","volume":"12","author":"B.W. Lampson","year":"1977","unstructured":"Lampson, B.W., et al.: Report on the programming language Euclid. SIGPLAN Notices 12, 2 (1977)","journal-title":"SIGPLAN Notices"},{"key":"BF00271340_CR9","first-page":"139","volume-title":"New directions in algorithmic languages 1975","author":"B. Liskov","year":"1975","unstructured":"Liskov, B.: An introduction to CLU. In: New directions in algorithmic languages 1975 (S.A. Schuman, ed.), pp. 139\u2013156. IRIA, Cahier, 1975"},{"key":"BF00271340_CR10","first-page":"45","volume":"18","author":"J. McCarthy","year":"1964","unstructured":"McCarthy, J.: Definition of new data types in ALGOL X. ALGOL Bulletin 18, 45\u201346 (1964)","journal-title":"ALGOL Bulletin"},{"key":"BF00271340_CR11","first-page":"371","volume-title":"Proving and improving programs, Arc et Senans 1975","author":"R. Milner","year":"1975","unstructured":"Milner, R., Morris, L., Newey, M.: A logic for computable functions with reflexive and polymorphic types. Proving and improving programs, Arc et Senans 1975, pp. 371\u2013394. IRIA, Cahier, 1975"},{"key":"BF00271340_CR12","unstructured":"Morris, J.H.: Lambda calculus models of programming languages. M.I.T. MAC-TR-57, 1968"},{"key":"BF00271340_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/361932.361937","volume":"16","author":"J.H. Morris","year":"1973","unstructured":"Morris, J.H.: Protection in programming languages. Comm. ACM 16, 1, 15\u201321 (1973)","journal-title":"Comm. ACM"},{"key":"BF00271340_CR14","doi-asserted-by":"crossref","unstructured":"Morris, J.H.: Types are not sets. ACM Symposium on Principles of Programming Languages, Boston, pp. 120\u2013124, 1973","DOI":"10.1145\/512927.512938"},{"key":"BF00271340_CR15","first-page":"377","volume-title":"Lecture notes in computer science, Vol. 19","author":"J.H. Morris","year":"1974","unstructured":"Morris, J.H.: Towards more flexible type systems. Colloque sur la programmation. In: Lecture notes in computer science, Vol. 19, pp. 377\u2013384. Berlin-Heidelberg-New York: Springer 1974"},{"key":"BF00271340_CR16","first-page":"408","volume-title":"Lecture notes in computer science, Vol. 19","author":"J.C. Reynolds","year":"1974","unstructured":"Reynolds, J.C.: Towards a theory of type structure. Colloque sur la programmation. In: Lecture notes in computer science, Vol. 19, pp. 408\u2013423. Berlin-Heidelberg-New York: Springer 1974"},{"key":"BF00271340_CR17","first-page":"157","volume-title":"New directions in algorithmic languages","author":"J.C. Reynolds","year":"1975","unstructured":"Reynolds, J.C.: User-defined types and procedural data structures as complementary approaches to data abstraction. In: New directions in algorithmic languages (S. Schuman, ed.),pp. 157\u2013168. IRIA, Cahier, 1975"},{"key":"BF00271340_CR18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00289243","volume":"8","author":"R.D. Tennent","year":"1977","unstructured":"Tennent, R.D.: Language design methods based on semantic principles. Acta Informat. 8, 97\u2013112 (1977)","journal-title":"Acta Informat."},{"key":"BF00271340_CR19","unstructured":"Tennent, R.D.: Some troublespots in PASCAL for scope and type checking. Submitted for publication"},{"key":"BF00271340_CR20","unstructured":"Wang, A.: Generalized types in high-level programming languages. Institute of Mathematics, University of Oslo, Research Reports in Informatics, no. 1, 1975"},{"key":"BF00271340_CR21","volume-title":"Algorithms+data structures=programs","author":"N. Wirth","year":"1976","unstructured":"Wirth, N.: Algorithms+data structures=programs. Englewood Cliffs, N.J.: Prentice-Hall 1976"},{"issue":"1","key":"BF00271340_CR22","first-page":"3","volume":"7","author":"N. Wirth","year":"1977","unstructured":"Wirth, N.: Modula: a language for modular multiprogramming. Software \u2014 Practice and Experience 7, 1, 3\u201336 (1977)","journal-title":"Software \u2014 Practice and Experience"},{"issue":"1","key":"BF00271340_CR23","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/spe.4380070104","volume":"7","author":"N. Wirth","year":"1977","unstructured":"Wirth, N.: Design and implementation of Modula. Software \u2014 Practice and Experience 7, 1, 67\u201384 (1977)","journal-title":"Software \u2014 Practice and Experience"},{"key":"BF00271340_CR24","first-page":"217","volume-title":"New directions in algorithmic languages","author":"W.A. Wulf","year":"1975","unstructured":"Wulf, W.A., London, R.L., Shaw, M.: Abstraction and verification in Alphard. In: New directions in algorithmic languages (S. Schuman, ed.), pp. 217\u2013295. IRIA, Cahier, 1975"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271340.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00271340\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T23:51:51Z","timestamp":1555458711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00271340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,10]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1977,10]]}},"alternative-id":["BF00271340"],"URL":"https:\/\/doi.org\/10.1007\/bf00271340","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,10]]}}}