{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T06:51:15Z","timestamp":1649055075841},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1994,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper presents a framework for sharing analysis based on type inference. The type system used in this paper is a modified version of Milner\u2019s type system. The soundness of the analysis is defined by the semantics of types extended for sharing information and proved with respect to an operational semantics for a strict language. It is also shown that the information obtained by the analysis can be applied to compile-time garbage collection.<\/jats:p>","DOI":"10.1007\/bf03259391","type":"journal-article","created":{"date-parts":[[2012,11,10]],"date-time":"2012-11-10T01:08:19Z","timestamp":1352509699000},"page":"659-675","source":"Crossref","is-referenced-by-count":0,"title":["Sharing Analysis Based on Type Inference"],"prefix":"10.1145","volume":"6","author":[{"given":"Yasuhiko","family":"Minamide","sequence":"first","affiliation":[{"name":"Research Institute for Mathematical Sciences, Kyoto University, 606, Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","volume-title":"Proc. ACM Conf. Lisp and Functional Programming","author":"Baker H G","year":"1990"},{"key":"e_1_2_1_2_2_2","volume-title":"Proc. ACM Symp. on Principles of Prog. Languages","author":"Damas L","year":"1982"},{"key":"e_1_2_1_2_3_2","volume-title":"ACM Transaction on Programming Languages and Systems","author":"Inoue K","year":"1988"},{"key":"e_1_2_1_2_4_2","volume-title":"Proc. Functional Programming Languages and Computer Architecture","author":"Jensen T P","year":"1991"},{"key":"e_1_2_1_2_5_2","volume-title":"Functional Programming Languages and Computer Architecture","author":"Jones S B","year":"1989"},{"key":"e_1_2_1_2_6_2","volume-title":"Proc. Functional Programming Languages and Computer Architecture","author":"Kuo T-M","year":"1989"},{"key":"e_1_2_1_2_7_2","volume-title":"PhD thesis","author":"Mycroft A","year":"1981"},{"key":"e_1_2_1_2_8_2","volume-title":"PhD thesis","author":"Tofte M","year":"1988"},{"key":"e_1_2_1_2_9_2","volume-title":"Information and Computation","author":"Tofte M","year":"1990"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03259391.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03259391\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF03259391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:29:53Z","timestamp":1641482993000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF03259391"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["10.1007\/BF03259391"],"URL":"https:\/\/doi.org\/10.1007\/bf03259391","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}