{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:30Z","timestamp":1720624950399},"reference-count":15,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)80064-1","type":"journal-article","created":{"date-parts":[[2004,12,13]],"date-time":"2004-12-13T17:55:14Z","timestamp":1102960514000},"page":"1-27","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Type-checking Balloon Types"],"prefix":"10.1016","volume":"20","author":[{"given":"Paulo S\u00e9rgio","family":"Almeida","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/1.1.5","article-title":"Abstract interpretation, logical relations, and Kan extensions","volume":"1","author":"Abramsky","year":"1990","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Almeida, P. S., Balloon types: Controlling Sharing of state in data types, in: Proceedings ECOOP'97, volume 1241 of LNCS, Springer-Verlag, 1997, pp. 32\u201359.","DOI":"10.1007\/BFb0053373"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB3","unstructured":"Almeida, P. S., \u201cControl of Object Sharing in Programming Languages,\u201d Ph.D. thesis, University of London, Imperial Colledge, Department of Computing (1998)."},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB4","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/155183.155231","article-title":"Subtyping recursive types","volume":"15","author":"Amadio","year":"1993","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB5","unstructured":"Arnold K. and J. Gosling, \u201cThe Java Programming Language,\u201d Addison Wesley, 1996. URL: http:\/\/www.aw.com\/cp\/javaseries.html."},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB6","unstructured":"Cardelli L., A semantics of multiple inheritance, in: Semantics of Data Types, volume 173 of LNCS, Springer\ue4f8Verlag, 1984, pp. 51\u201367, full version in Information and Computation, 76(2\/3):138\u2013164, 1998."},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Cardelli L. and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, 17 1985, pp. 471\u2013522.","DOI":"10.1145\/6041.6042"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Cousot P. and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings 4th ACM Symposium on Principles of Programming Languages, 1977, pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB9","unstructured":"Dahl O.-J., B. Myhrhaug and K. Nygaard, The SIMULA 67 common base language., Publication S-22, Norwegian Conputing Center, Oslo (1970)."},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB10","series-title":"\u201cSmalltalk-80: The Language and its Implementation\u201d","first-page":"736","year":"1983"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R., Proof of correctness of data representations, Acta Informatica 1 1972, pp. 271\u2013281.","DOI":"10.1007\/BF00289507"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Hogg, J., Islands: Aliasing protection in object-oriented languages, Proceedings OOPSLA'91. SIGPLAN Notices 26 1991, pp. 271\u2013285.","DOI":"10.1145\/118014.117975"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Hogg J., D. Lea, A. Wills, D. deChampeaux and R. Holt, The Geneva convention on the treatment of object aliasing. Followup report on ECOOP'91 workshop W3: Object-oriented formal methods, OOPS Messenger 3 (1992), pp. 11\u201316.","DOI":"10.1145\/130943.130947"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB14","doi-asserted-by":"crossref","unstructured":"Khoshafian S. and G. Copeland, Object identity, Proceedings OOPSLA'86. SIGPLAN Notices 21 (1986) pp. 406\u2013416.","DOI":"10.1145\/960112.28739"},{"key":"10.1016\/S1571-0661(04)80064-1_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Wegner P., Dimensions of object-based language design, Proceedings OOPSLA'87. SIGPLAN Notices 22 (1987), pp. 168\u2013182.","DOI":"10.1145\/38807.38823"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800641?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800641?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T20:20:08Z","timestamp":1548966008000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":15,"alternative-id":["S1571066104800641"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80064-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}