{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:16:03Z","timestamp":1648898163099},"reference-count":27,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1984,1]]},"DOI":"10.1016\/0096-0551(84)90015-8","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:11:16Z","timestamp":1060297876000},"page":"71-87","source":"Crossref","is-referenced-by-count":0,"title":["A proposal for comparison of types in Pascal and associated semantic models"],"prefix":"10.1016","volume":"9","author":[{"given":"A.C.","family":"Fleck","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(84)90015-8_BIB1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","article-title":"The programming language Pascal","volume":"1","author":"Wirth","year":"1971","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(84)90015-8_BIB2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","article-title":"An axiomatic definition of the programming language Pascal","volume":"2","author":"Hoare","year":"1973","journal-title":"Acta Informatica"},{"issue":"No. 11","key":"10.1016\/0096-0551(84)90015-8_BIB3","first-page":"33","article-title":"Type compatibility checking in Pascal compilers","author":"Desjardins","year":"1978","journal-title":"Pascal News"},{"key":"10.1016\/0096-0551(84)90015-8_BIB4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00288652","article-title":"Critical comments on the programming language Pascal","volume":"3","author":"Habermann","year":"1973","journal-title":"Acta Informatica"},{"key":"10.1016\/0096-0551(84)90015-8_BIB5","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1093\/comjnl\/21.4.316","article-title":"A comparison of Pascal and ALGOL 68","volume":"21","author":"Tannenbaum","year":"1978","journal-title":"Comput. J."},{"key":"10.1016\/0096-0551(84)90015-8_BIB6","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1002\/spe.4380080407","article-title":"Another look at type compatibility in Pascal","volume":"8","author":"Tennent","year":"1978","journal-title":"Software\u2014Pract. Exper."},{"key":"10.1016\/0096-0551(84)90015-8_BIB7","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1002\/spe.4380070604","article-title":"Ambiguities and insecurities in Pascal","volume":"7","author":"Welsh","year":"1977","journal-title":"Software\u2014Pract. Exper."},{"issue":"No. 20","key":"10.1016\/0096-0551(84)90015-8_BIB8","year":"1980","journal-title":"Pascal News"},{"key":"10.1016\/0096-0551(84)90015-8_BIB9","series-title":"International Computing Symposium","first-page":"93","article-title":"The method of structured programming applied to the development of a compiler","author":"Ammann","year":"1974"},{"key":"10.1016\/0096-0551(84)90015-8_BIB10","series-title":"Proceedings of the Symposium on Pascal\u2014The Language and its Implementation","article-title":"The Zurich implementation","author":"Ammann","year":"1977"},{"key":"10.1016\/0096-0551(84)90015-8_BIB11","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1002\/spe.4380070311","article-title":"On code generation in a Pascal compiler","volume":"7","author":"Ammann","year":"1977","journal-title":"Software\u2014Pract. Exper."},{"key":"10.1016\/0096-0551(84)90015-8_BIB12","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1002\/spe.4380010403","article-title":"The design of a Pascal compiler","volume":"1","author":"Wirth","year":"1971","journal-title":"Software\u2014Pract. Exper."},{"key":"10.1016\/0096-0551(84)90015-8_BIB13","series-title":"Third International Conference on Software Engineering","first-page":"23","article-title":"A type-checking program linkage system for Pascal","author":"Kieburtz","year":"1978"},{"key":"10.1016\/0096-0551(84)90015-8_BIB14","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSE.1975.6312839","article-title":"An assessment of the programming language Pascal","volume":"SE-1","author":"Wirth","year":"1975","journal-title":"IEEE Trans. Software Engng."},{"key":"10.1016\/0096-0551(84)90015-8_BIB15","series-title":"Pascal\u2014The Language and its Implementation","first-page":"125","article-title":"Pascal-P implementation notes","author":"Nori","year":"1981"},{"key":"10.1016\/0096-0551(84)90015-8_BIB16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/988113.988117","article-title":"Type equivalence in strongly typed languages: one more look","volume":"14","author":"Berry","year":"1979","journal-title":"SIGPLAN Not."},{"key":"10.1016\/0096-0551(84)90015-8_BIB17","article-title":"Pascal: User Manual and Report","volume":"Vol. 18","author":"Jensen","year":"1974"},{"key":"10.1016\/0096-0551(84)90015-8_BIB18","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/954666.971189","article-title":"Report on the programming language EUCLID","volume":"12","author":"Lampson","year":"1977","journal-title":"SIGPLAN Not."},{"key":"10.1016\/0096-0551(84)90015-8_BIB19","doi-asserted-by":"crossref","unstructured":"Conway M. E., Design of a separable transition-diagram compiler. Commun. ACM 6, 396\u2013408.","DOI":"10.1145\/366663.366704"},{"key":"10.1016\/0096-0551(84)90015-8_BIB20","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/321752.321756","article-title":"A formalization of transition diagram systems","volume":"20","author":"Lomet","year":"1973","journal-title":"J. ACM"},{"key":"10.1016\/0096-0551(84)90015-8_BIB21","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","article-title":"Transition network grammars for natural language analysis","volume":"13","author":"Woods","year":"1970","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(84)90015-8_BIB22","series-title":"Introduction to Formal Language Theory","author":"Harrison","year":"1978"},{"issue":"No. 35","key":"10.1016\/0096-0551(84)90015-8_BIB23","first-page":"34","article-title":"The equivalence of modes and the equivalence of finite automata","author":"Kral","year":"1973","journal-title":"Algol. Bull."},{"key":"10.1016\/0096-0551(84)90015-8_BIB24","series-title":"Second ACM Symposium on principles of Programming Languages","first-page":"149","article-title":"Modes, values and expressions","author":"Solomon","year":"1975"},{"key":"10.1016\/0096-0551(84)90015-8_BIB25","series-title":"Fifth ACM Symp. on Theory of Computing","first-page":"1","article-title":"Word problems requiring exponential time: preliminary report","author":"Stockmeyer","year":"1973"},{"key":"10.1016\/0096-0551(84)90015-8_BIB26","first-page":"109","article-title":"On infinite modes","volume":"4","author":"Koster","year":"1969","journal-title":"Algol Bulletin 30 in SIGPLAN Not."},{"key":"10.1016\/0096-0551(84)90015-8_BIB27","series-title":"Structured Programming","article-title":"Notes on data structuring","author":"Hoare","year":"1972"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055184900158?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055184900158?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T09:25:37Z","timestamp":1552641937000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055184900158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,1]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1984,1]]}},"alternative-id":["0096055184900158"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(84)90015-8","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1984,1]]}}}