{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,12]]，“日期-时间”：“2024-01-12T22:29:11Z”，“时间戳”：1705098551698}，“引用-计数”：18，“发布者”：“开放发布协会”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.310.4”，“type”：“journal-article”，“created”：{“date-parts”：[[2019,12,20]]，“date-time”：“2019-12-20T01:49:29Z”，“timestamp”：1576806569000}，“page”：”：“29-34”，工作台“]”，“前缀”：“10.4204”，“卷”：“310”，“作者”：[{“given”：“Peter D.”，“family”：“Mosses”，“sequence”：“first”，“affiliation”：[]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2019,12,23]]}，“reference”：[[{”key“：”XASM“，”series-title“：”LNCS“，”doi-asserted-by“：”publisher“，”first page“69”，“doi”：“10.1007\/3-540-44518-8 _6“，”文章标题“：“XASM\u2013 An Extensible，Component Based ASM Language”，“volume-title”：“ASM 2000”，“volume”：“1912”，“author”：“Anlauff”，“year”：“2000”}，{“key”：”Montages“，“series-title”：”LNCS“，”doi-asserted-by“：”publisher“，”first page“：”296“，”doi“：”10.1007\/978-3-540-49051-7_22“，”article-title“：”语言设计和蒙太奇原型化的工具支持“、“volume-title”：“CC'99”，“volume”：“1575”，“author”：“Anlauff”，“year”：“1999”}，{“key”：”Statix“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/3276484“，”article-title“：”Scopes As Types“，”volume“：”2“，”author“：”van Antwerpen“，”year“：”2018“，”journal-title：“Proc.ACM Program.Lang.”}BL2“，”doi-asserted-by“：”publisher“，”first page“：”49“，”doi“：“10.1145\/2847538.2847543”，“article-title”：“基于范围图的静态语义分析约束语言”，“volume-title“：”Proc.PEPM 2016“，“author”：“van Antwerpen”，“year”：“2016”}，{“key”：“JLAMP”，“doi-asserted-by”：“publisher”，“first page”：”184“，“doi”：“10.1016\/j.JLAMP.2018.2.004”，“article-title”：“可执行组件语义”，“volume”：“103”，“author”：“van Binsbergen”，“year”：“2019”，“journal title”：“J.Log.Agebrage.Meth.Program.”}，｛“key”：“Modularity”，“doi asserted by”：“publisher”，“first page”：“8”，“doi”：“10.1145\/2892664.2893464”，“article title”：“Tool Support for Component Based Semantics”，“volume title”：“Companion Proc.Modularity 2016”，“author”：“van Binsbergen”，“year”：“2016”}，{“key”：“ASM”，“doi-asserted-by”：“publisher”，“first page”：”417“，“doi”：“10.1093\/logcom\/exu077”，“article-title”：“程序设计语言模块化设计和分析的抽象状态机方法”，“volume”：：“27”，“author”：“B\u00f6rger”，“year”：“2017”，“journal-title“：”J.Logic Compute.“}，}”{“密钥”：“FOSSACS2013”，“series-title”：“LNCS”，“doi-asserted-by”：“publisher”，“first page”：“97”，“doi”：“10.1007\/978-3642-37075-5”，“article-title”：“计算和值的模块化双模拟理论”，“volume-title“：”FOSSACS 2013“，”volume“：”7794“，”author“：”Churchill“，”year“：”2013“}，{“key”：”TAOSD“，”doi-assert-by“：”publisher“，”first page:“132”，”doi“：”10.1007\/978-3-662-46734-3_4英寸，“article-title”：“语义规范的可重用组件”，“volume”：“12”，“author”：“Churchill”，“year”：“2015”，“journal-title“：”LNCS Trans.Aspect Oriented Softw.Dev.“}，{“key”：”Overture“，”series-title“：“EPTCS”，“doi-asserted-by”：“publisher”，“first-page”：“14”，“doi”：“10.4204\/EPTCS.187”，“article-title”：“将序曲作为正式符号IDE的平台”，“卷标题”：“F-IDE 2015”，“卷”：“187”，“作者”：“Couto”，“年份”：“2015”}，{“key”：“Redex”，“doi asserted by”：“publisher”，“首页”：“285”，“doi”：“10.1145\/2103656.2103691”，“文章标题”：“运行您的研究：关于轻型机械化的有效性”，“卷标题”：“POPL 2012”，“author”：“Klein”，“year”：“2012”}，{“key”：“MSOS”，“doi-asserted-by”：“publisher”，“first page”：《195》，“doi”：“10.1016\/j.jlap.2004.03.008”，“article-title”：“模块化结构操作语义”，“volume”：”60-61“，”author“：”Mosses“，“year:”2004“，”journal-title“：”j.Log.Algebr.Program.“}，}”key“JVLC“，”doi-asserted-by“：”publisher“，“首页”：“39”，“DOI”：“10.1016\/j.jvlc.2018.11.003”，“article-title”：“软件元语言工程与CBS”，“卷”：“50”，“作者”：“苔藓”，年：“2019”，“期刊标题”：“j.Compute.Lang.”}，{“key”：“FunKons”，“series-title”：”LNCS“，”DOI-asserted-by“：”publisher“，”首页“：”213“DOI“10.1007\/978-3-319-12904-4_12“，“文章标题”：“FunKons:K中基于组件的语义”，“volume-title”：“WRLA 2014”，“卷”：“8663”，“作者”：“苔藓”，“年份”：“2014”}，{“key”：“K”，“doi-asserted-by”：“publisher”，”first page“：”186“，”doi“：”10.3233\/978-1-61499-810-5-186“，”article-title“：”K:编程语言和形式分析工具的语义框架“，”volume-tite“：“Reliable Software Systems Engineering”，“author”：“Rosu”，“year”：“2017”}，{“key”：“Eduardo”，“doi-asserted-by”：“publisher”，“volume-title”：“Modern Language Workbenches的声明性语法定义”，“作者”：“de Souza Amorim”，“年份”：“2019”，“doi”：“10.4233\/uuid:43d7992a-7077-47ba-b38f-113f5011d07f”}：“语言原型的语法定义”，“author”：“Visser”，“year”：“1997”}，{“key”：“Spoofax”，“doi-asserted-by”：“publisher”，《first page》：“95”，“doi”：“10.1145\/2661136.2661149”，“article-title”：“语言设计者的工作台：实现和验证语言设计的一站式商店”，“volume-title“：”Proc.Onward！2014”，“author”：“Visser”，“year”：“2014”}]，“container-title”：[“Electronic Proceedings in Theoryal Computer Science”]，“original-title“：[]，“language”：“en”，“deposed”：{“date-parts”：[[2019,12,26]]，“date-time”：“2019-12-26T06:42:25Z”，“timestamp”：1577342545000}，“score”：1，“resource”：{“primary”：“{”URL“http://\arxiv.org\/abs\/1912.10631v1”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2019,12,23]]}，“引用-计数”：18，“URL”：“http://\/dx.doi.org\/10.4204\/eptcs.310.4”，“关系”：{}，”ISSN“：[”2075-2180“]，“ISSN-type”：[{“值”：“2075-2160”，“类型”：“电子”}]，“主题”：[]}