{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:31:41Z”，“时间戳”：1720625501241}，“引用-计数”：35，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts“：[[2002,6,1]]，”“日期-时刻”：“2002-06-01T00:00:00 0Z“，”时间戳“：10228896000000}，”内容-版本“：“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”：4076，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2002,6]]}，”DOI“：”10.1016\/s1571-0661（04）00319-6“，”type“：”journal-article“，”created“：{”date-part“：[[2004,2,5]]，”date-time“：”2004-02-05T05:34:35Z“，”timestamp“：”10759275000}“page”：“52-68”，”source“Cross-time”参考“，“is-referenced-by-count”：1，“special_numbering”：“C”，“title”：[“用于全球计算的高阶类型和元编程”]，“prefix”：“10.1016”，“volume”：“62”，“author”：[{“given”：”G.“，”family“：”Ferrari“，“家庭”：“普格利泽”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB1”，“unstructured”：“Calcagno C.，E.Moggi and T.Sheard，安全命令MetaML的闭合类型（2001），已提交发布。”}，{“密钥”：“101016\/S1571-0661：“Cardelli L.，程序片段、链接和模块化，收录于：ACM编程语言原理研讨会（1997年）议事录。”，“DOI”：“10.1145\/263699.263735”}，{“key”：“101016\/S1571-0661（04）00319-6_NEWBIB3”，“series-title”：“安全互联网编程：移动和分布式对象的安全问题，LNCS中的编号1603”，“首页”：“51”，“article-title”：“移动计算的抽象”，“author”：“Cardelli”，“year”：“1999”}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB4”，“doi-asserted-by”：“crossref”，“doi”：“101016\/S0304-3975（99）00231-5”，“article-title”：“Mobile ambients”，“volume”：al-title“：“理论计算机科学”}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB5”，“doi-asserted-by”：“crossref”，“first page”：“444”，“doi”：“10.1145\/63334.6337”，“article-title”：“Linda in Context”，“volume”：：“32”，“author”：“Carriero”，“year”：“1989”，“journal-title“：ACM Comm.”}，{“key”：，“非结构化”：“Davies R.，绑定时间分析的时间逻辑方法，摘自：计算机科学中的逻辑研讨会（LICS’96），IEEE计算机社会出版社，新不伦瑞克，1996年，第184\u2013195页。”}，{“键”：“10.1016\/S1571-0661（04）00319-6_NEWBIB7”，“doi-asserted-by”：“crossref”，“非结构化”：“Davis R.和F。Pfenning，阶段计算的模态分析，摘自：《程序设计语言原理研讨会》（POPL’96），圣彼得堡海滩，1996年，第258\u2013270页Klaim:Agent交互和移动性的核心语言”，“volume”：“24”，“author”：“De Nicola”，“year”：“1998”，“journal-title”：“IEEE Transactions on Software Engineering”}，{“key”：”10.1016\/S1571-0661（04）00319-6_NEWBIB9“，”doi-asserted-by“：”crossref“，”first page“：”215“，”doi“10.1016\/S0304-3975（99）00232-7“，“article-title“：”访问控制类型”，“卷”：“240”，“作者”：“De Nicola”，“年份”：“2000”，“日志标题”：“理论计算机科学”}，{“键”：“10.1016\/S1571-0661（04）00319-6_NEWBIB10”，“doi-asserted-by”：“crossref”，“非结构化”：“Drossopoulou S.，Towards a abstract model of java dynamic linking and verification，in:Proc.of Types in Compilation，2000”DOI“：”10.1007\/3-545-45332-6_3“｝，｛“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB11”，“非结构化”：“Drossopoulou S.，S.Eisenbach和D.Wragg，碎片演算-走向独立编译、链接和二进制兼容性的模型，见：第14届计算机科学逻辑研讨会论文集（LICS’99）（1999），第147\u2013156页。”｝，｛“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB12“，“非结构化”：“Erlingsson U.和F.Schneider，SASI安全政策实施：回顾，技术报告TR99\u20131758，康奈尔大学（1999）。“}，{”key“：”10.1016\/S1571-0661（04）00319-6_NEWBIB13“，”unstructured“：”Evans D.和A.Twynman，《灵活的策略导向代码安全》，摘自：IEEE安全与隐私专题讨论会（1999）的议事录。“}。Pugliese，《全球类型和网络服务》，收录于：U.Montanari和V.Sassone，编辑，《ConCoord:并发和协调国际研讨会》，第54期，ENTCS（2001）。“，”DOI“：”10.1016\/S1571-0661（04）00233-6“}，{“key”：“10.1016\/S1571-661（04）00319-6_NEWBIB15”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ferrari，G.，E.Moggi and R.Pugliese，MetaKlaim:Global Computing元编程，in：V.Taha，编辑，Proc of Semantics，Applications，and Implementation of Program Generation（SAIG01），LNCS（2001）第2196号，第183\u2013198页。“，“DOI”：“10.1007\/3-540-44806-3_11”}，{“key”：“101016\/S1571-0661（04）00319-6_NEWBIB16”，“DOI-asserted-by”：“crossref”，“unstructured”：“Fornet C.，G.Gonthier，J.J.Levy，L.Maranget and D.Remy，A Calculus of Mobile Agents，in：U.Montanari and V.Sassone，editors，Proc.of 7th Int。Conf.on Concurrency Theory（CONCUR’96），LNCS 1119（1996），第406\u2013421页。“，”DOI“：”10.1007\/3-540-61604-7_67“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB17”，“DOI-asserted-by”：“crossref”，“DOI”：“101109\/32.685258”，“article-title”：“Understanging Code Mobility”，“volume”：”24“，“author”：“Fuggetta”，“year”“：”1998“，”新闻标题“：”IEEE软件工程汇刊“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB18”，“doi-asserted-by”：“crossref”，“first page”：”80“，“doi”：”10.1145\/2363.2433“，“article-title”：“Linda中的生成通信”，“volume”：第7页，“author”：“Gelernter”，“year”：“1985”，“journal-title“：”ACM编程语言和系统汇刊“10.1016\/S1571-0661（04）00319-6_NEWBIB19“，“非结构化”：“Girard J.，\u201cInterpre\u00e9tation fonctionelle et \u00e limination des coupures dans l'arithm\u00e9tique d'ordre sup\u00er9rieur，\u 201d Th u00e9 se de doctorat d'etat，Paris VII（1972）。“}，{”key“：”10.1016\/S1571-0661（04）00319-6_NEWBIB20“，”series-title“：”Mobile Agents and Security，LNCS“，”article-title“：“D'Agents:Security in a multi-language，Mobile-agent system”，“author”：“Gray”，“year”：“1998”}，“key”：“10.1016\\S1571-0661。Riely，《分布式过程和位置故障》，《理论计算机科学》（1997），即将出版。“}，{”key“：”10.1016\/S1571-0661（04）00319-6_NEWBIB22“，”unstructured“：”Hennessy M.和J.Riely，《移动代理系统中的资源访问控制》，收录于：U.Nestmann和B.C.Pierce，编辑，《HLCL’98程序：高级并发语言》，ENTCS 16.3（1998），pp.3\u201317，发表于《信息与计算》。“}”，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB23“，“非结构化”：“Hicks M.和S.Weirich，动态载荷计算，技术报告MS-CIS-00\u201307，宾夕法尼亚大学（1994）。URL http://www.cis.upenn.edu\/~mwh\/papers\/loadcalc.pdf“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB24”，“doi-asserted-by”：“crossref”，“unstructured”：“Hicks M.，S.Weirich and K.Crary，本地代码的安全和灵活动态链接，收录于：R.Harper，编辑，编译类型程序：第三次国际研讨会，TIC 2000，LNCS 2071（2000）第147\u2013176页。“，”DOI“：”10.1007\/3-540-45332-6_6“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB25”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kamin，S.，M.Callahan and L.Clausen，《轻量级和生成性组件II：二进制级组件》，收录于：[33]，2000年，第28\u201350页。“：“10.1016\/S1571-0661（04）00319-6_NEWBIB26“，“非结构化”：“MetaML主页（2000），在线提供源代码和文档，网址为http://www.cse.ogi.edu\/PacSoft\/projects\/MetaML\/index.html。“}，{”key“：”10.1016\/S1571-0661（04）00319-6_NEWBIB27“，”unstructured“：”Morrisett G.and N.Glew，类型安全链接和模块化汇编语言，摘自：第26届ACM SIGPLAN-SIGACT编程语言原理研讨会（1999），第250\u2013261页非结构化”：“Qian，Z.，A.Goldberg和A.Coglio，JavaTM类加载的正式规范，35.10 ACM Sigplan Notices（2000），pp.325\u2013336。”，“DOI”：“10.1145\/35422.353193”｝，｛“key”：“10.1016\/S15771-0661（04）00319-6_NEWBIB29”，“DOI asserted by”：“crossref”，“非结构化”：“Roman G.-C，G.P.Picco and A.L。墨菲（Murphy），移动软件工程，摘自：《第二十二届国际软件工程会议论文集》（ICSE-00）（2000），第241\u2013260页。“，”DOI“：”10.1145\/336512.336567“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB30”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sewell P.，《模块、抽象类型和Dited版本控制》，收录于：Proc。美国计算机学会编程语言原理研讨会（2001年）。“，”DOI“：”10.1145\/360204.360225“}，{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB31”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sewell P.and P.Wojciechowski，Nomadic Pict:Language and Infrastructure Design for Mobile Agents，IEEE Concurrency（2000）.”，“DOI”：“101109\/4434.846193”}，“key“:”10.1016\/S1571-00661（04 2“，”doi由“：”crossref“断言，”非结构化“：”Shields M.，T.Sheard和S.L.Peyton Jones，通过分阶段类型推理的动态类型，in：在ACM编程语言原理研讨会会议录（POPL），1998，pp.289\u2013302.“，”doi“：”10.1145\/268946.268970“}，｛”key“：”10.1016/S1571-0661（04）00319-6_NEWBIB33“，”doi由“：”断言crossref“，”unstructured“：”W.Taha，编辑，\u201cSemantics，Applications，and Implementation of Program Generation，1924年计算机科学讲义，Springer-Verlag，Montr\u00e9al，2000.“，”DOI“：”10.1007\/3-540-45350-4“}，”{“key”：“10.1016\/S1571-0661（04）00319-6_NEWBIB34”，“DOI-asserted-by”：“crossref.”，“unstructure”：“Vitek J.and G.”。卡斯塔尼亚，《迈向安全移动计算的微积分》，摘自：Proc。因特网编程语言讲习班（1999年）。“，”DOI“：”10.1007\/3-540-47959-7_3“}，{”key“：”101016\/S1571-0661（04）00319-6_NEWBIB35“，”DOI-asserted-by“：”crossref“，”first page“：“38”，“DOI”：“10.1006\/inco.1994.1093”，“article-title”：“类型正确性的语法方法”，“volume”：“115”，“author”：“Wright”，“year”：“1994”，“journal-title“：”信息和计算“}]，“集装箱标签”：[“理论计算机科学电子笔记“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066104003196？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104003196？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2021,11,4]，“date-time”：“2021-11-04T18:33:45Z”，“timestamp”：1636050825000}，“score”：1，“resource”：{primary“：{”URL“https:”https:\/\/linkinghub.elsevier.com\/retrieve\/pi\/S157106610400 3196“}}，”副标题“：[]，”短标题“：[]，”已发布“：{“date-parts”：[[2002,6]]}，“references-count”：35，“alternative-id”：[“S1571066104003196”]，“URL”：“http://\/dx.doi.org\/10.1016\/s1571-0661（04）00319-6”，“relationship”：{}，”ISSN“：[”1571-0671“]，”ISSN-type“：[{”value“：”1571-00661“，”type“:”print“}]，“subject”：[]，“已发布”：{“日期部分”：[[2002,6]]}}