{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T02:16:14Z","timestamp":1649211374307},"reference-count":27,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"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, Systems & Structures"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1016\/s0096-0551(02)00010-3","type":"journal-article","created":{"date-parts":[[2003,2,4]],"date-time":"2003-02-04T15:48:55Z","timestamp":1044373735000},"page":"129-154","source":"Crossref","is-referenced-by-count":0,"title":["Distributed call-tracking for security"],"prefix":"10.1016","volume":"28","author":[{"given":"Dilsun","family":"K\u0131rl\u0131","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0096-0551(02)00010-3_BIB1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/262009.262010","article-title":"Programming languages for mobile code","volume":"29","author":"Thorn","year":"1997","journal-title":"ACM Computing Surveys"},{"issue":"5","key":"10.1016\/S0096-0551(02)00010-3_BIB2","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1109\/32.685258","article-title":"Understanding code mobility","volume":"24","author":"Fugetta","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB3","unstructured":"Tang Y, Jouvelot P. Control-flow effects for escape analysis. In: Proceedings of Workshop on Static Analysis (WSA), Bordeux, France, 1992, p. 313\u201321."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB4","doi-asserted-by":"crossref","unstructured":"Heintze N. Control-flow analysis and type systems. In: Proceedings of the Static Analysis Symposium, Lecture Notes in Computer Science, vol. 983. Berlin: Springer, 1995. p. 189\u2013206.","DOI":"10.1007\/3-540-60360-3_40"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB5","doi-asserted-by":"crossref","unstructured":"Hicks M, Kakkar P, Moore JT, Gunter CA, Nettles S. PLAN: A Packet Language for Active Networks. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages (ICEP). New York: ACM, 1998. p. 86\u201393.","DOI":"10.1145\/289423.289431"},{"issue":"1","key":"10.1016\/S0096-0551(02)00010-3_BIB6","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/35.568214","article-title":"A survey of active network research","volume":"35","author":"Tennhouse","year":"1997","journal-title":"IEEE Communications Magazine"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB7","doi-asserted-by":"crossref","unstructured":"Hicks M, Moore JT, Alexander DS, Gunter CA, Nettles D. PLANet: An active internetwork. In: Proceedings of the 18th IEEE Computer and Communication Society INFOCOM Conference. New York: IEEE, 1999. p. 1124\u201333.","DOI":"10.1109\/INFCOM.1999.751668"},{"issue":"1","key":"10.1016\/S0096-0551(02)00010-3_BIB8","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1145\/88616.88631","article-title":"Remote evaluation","volume":"12","author":"Stamos","year":"1990","journal-title":"ACM Transactions on Programming Language and Systems"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB9","doi-asserted-by":"crossref","unstructured":"Kakkar P, Hicks M, Moore JT, Gunter CA. Specifying the PLAN network programming language. In: Higher order operational techniques in semantics, Electronic notes in theoretical computer science, vol. 26. Amsterdam: EIsevier, September 1999.","DOI":"10.1016\/S1571-0661(05)80285-3"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB10","unstructured":"Hicks M, Keromytis AD. A secure PLAN. In: Stefan Covaci, editor, Proceedings of the First International Workshop on Active Networks, Lecture Notes in Computer Science, vol. 1653. Berlin: Springer, June 1999. p. 307\u201314."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB11","unstructured":"Moore JT, Hicks M, Nettles S. Practical programmablc packets. In: Proceedings of the 20th IEEE Computer and Communication Society INFOCOM Conference. New York: IEEE, April 2001."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB12","unstructured":"Reppy J. Higher-order concurrency. Ph.D. thesis, Department of Computer Science, Cornell University, 1992."},{"issue":"2","key":"10.1016\/S0096-0551(02)00010-3_BIB13","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","article-title":"Facile","volume":"18","author":"Giacalone","year":"1989","journal-title":"International Journal of Parallel Programming"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB14","doi-asserted-by":"crossref","unstructured":"Nielson F, Nielson HR, Hankin C. Principles of program analysis. Berlin: Springer, 1999. [Chapter 5].","DOI":"10.1007\/978-3-662-03811-6"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB15","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1006\/inco.1994.1046","article-title":"The type and effect discipline","volume":"111","author":"Talpin","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB16","doi-asserted-by":"crossref","unstructured":"Damas L, Milner R. Principal type-schemes for functional programs. In: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). New York: ACM Press, 1982. p. 207\u201312.","DOI":"10.1145\/582153.582176"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB17","unstructured":"Thomsen B. Polymorphic sorts and types for concurrent functional programs. In: Glauert J. editor, Proceedings of the Sixth International Workshop on the Implementation of Functional Languages, Norwich, UK, 1994."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB18","unstructured":"Nielson HR, Nielson F. Higher-order concurrent programs with finite communication topology. In: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). New York: ACM Press, 1994."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB19","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1006\/inco.1996.2613","article-title":"Region-based memory management","volume":"132","author":"Tofte","year":"1997","journal-title":"Information and Computation"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB20","doi-asserted-by":"crossref","unstructured":"Amtoft T, Nielson F, Nielson HR. Type and effect systems: behaviours for concurrency. London: Imperial College Press, 1999.","DOI":"10.1142\/p132"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB21","first-page":"144","article-title":"Operational semantics of termination types","volume":"3","author":"Nielson","year":"1996","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"10.1016\/S0096-0551(02)00010-3_BIB22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/130616.130620","article-title":"Polymorphic time systems for estimating program complexity","volume":"1","author":"Dornic","year":"1992","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB23","unstructured":"Brian Reistad, Gifford DK. Static dependent costs for estimating execution time. In: LISP and functional programming. New York: ACM Press, 1994. p. 65\u201378."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB24","doi-asserted-by":"crossref","unstructured":"Crary K, Weirich S. Resource bound certification. In: Proceedings of the ACM Symposium on Principles of Programming Languages (POPL). New York: ACM Press, 2000. p. 184\u201398.","DOI":"10.1145\/325694.325716"},{"key":"10.1016\/S0096-0551(02)00010-3_BIB25","unstructured":"Hofmann M. A type system for bounded space and functional in-place update. In: Proceedings of the European Symposium on Programming (ESOP), Lecture Notes in Computer Science, vol. 1782. Berlin: Springer, 2000, p. 165\u201379."},{"key":"10.1016\/S0096-0551(02)00010-3_BIB26","doi-asserted-by":"crossref","unstructured":"Hughes J, Pareto L. Recursion and dynamic data-structures in bounded space: towards embedded ML programming. In: Proceedings of the International Conference on Functional Programming (ICFP), New York: ACM Press, 1999. p. 70\u201381.","DOI":"10.1145\/317636.317785"},{"issue":"4","key":"10.1016\/S0096-0551(02)00010-3_BIB27","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","article-title":"Multilisp","volume":"7","author":"Halstead","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Computer Languages, Systems & Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055102000103?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055102000103?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T09:04:17Z","timestamp":1583917457000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055102000103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["S0096055102000103"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(02)00010-3","relation":{},"ISSN":["1477-8424"],"issn-type":[{"value":"1477-8424","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}