{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:37Z","timestamp":1762458337728},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2002,5,8]],"date-time":"2002-05-08T00:00:00Z","timestamp":1020816000000},"content-version":"unspecified","delay-in-days":7,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[2002,5]]},"abstract":"<jats:p>We show that the typed region calculus of Tofte and Talpin can be encoded in a typed \n\u03c0-calculus equipped with name groups and a novel effect analysis. In the region calculus, each \nboxed value has a statically determined region in which it is stored. Regions are allocated \nand de-allocated according to a stack discipline, thus improving memory management. The \nidea of name groups arose in the typed ambient calculus of Cardelli, Ghelli, and Gordon. \nThere, and in our \u03c0-calculus, each name has a statically determined group to which it belongs. \nGroups allow for type-checking of certain mobility properties, as well as effect analyses. Our \nencoding makes precise the intuitive correspondence between regions and groups. We propose \na new formulation of the type preservation property of the region calculus, which avoids Tofte \nand Talpin's rather elaborate co-inductive formulation. We prove the encoding preserves the \nstatic and dynamic semantics of the region calculus. Our proof of the correctness of region \nde-allocation shows it to be a specific instance of a general garbage collection principle for \nthe \u03c0-calculus with effects. We propose new equational laws for <jats:italic>letregion<\/jats:italic>, analogous to scope \nmobility laws in the \u03c0-calculus, and show them sound in our semantics.<\/jats:p>","DOI":"10.1017\/s0956796801004270","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T13:49:03Z","timestamp":1027777743000},"page":"229-292","source":"Crossref","is-referenced-by-count":6,"title":["Region analysis and a \u03c0-calculus with groups"],"prefix":"10.1017","volume":"12","author":[{"given":"SILVANO","family":"DAL ZILIO","sequence":"first","affiliation":[]},{"given":"ANDREW D.","family":"GORDON","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2002,5,8]]},"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796801004270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T19:40:51Z","timestamp":1553888451000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796801004270\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S0956796801004270"],"URL":"https:\/\/doi.org\/10.1017\/s0956796801004270","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}