{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,21]]，“日期时间”：“2024-02-21T00:47:46Z”，“时间戳”：1708476466798}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540774419”，“类型”：“打印”}，{“值”：“9783540774426”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2007]]｝，“DOI”：“10.1007\/978-3-540-77442-6_3”，“type”：“book chapter”，“created”：｛“date parts”：[[2007,12,18]]，“date-time”：“2007-12-18T23:35:03Z”，“timestamp”：1198020903000｝，“page”：“18-34”，“source”：“Crossref”，“由count引用”：0，“title”：[“使用逻辑编程进行自动编码规则一致性检查”]，“prefix”：“10.1007”，“author”：[｛“given”：“Guillem”，“family”：“Marpons”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Julio”，“家族”：“Mari\u00f1o”，”sequence“：”additional“，”affiliance“：[]{，”given“：”Manuel“，”family“：”Carro“，”se序列“：”additional“：[]}，{”given“：”Juan Jos\u00e9“，”family“：“Moreno-Navarro”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Lars-\u00c5ke”，“family”：“Fredlund”，“serquence”:“additionable”，“abfiliation“：[]2]，“member”：“297”，“reference”：[{“key”：”3_CR1“，“unstructured”：“MIRA Ltd.：MISRA-C:2004。《关键系统中C语言的使用指南》（2004年10月）全球GCC项目网站，http://www.ggcc.info\/“}，{“key”：“3_CR5”，“unstructured”：“Source-Navigator，http://\/sourcenav.sourceforge.net\/”}，}，“key“：”3_CR6“，”unstructure“：”Hermenegildo，M.、Bueno，F.、Cabeza，D.、Carro，M.，de la Banda，M.G.、L\u00f3pez-Garc\u00eda，P.、Puebla，G.：CIAO多参数编译器和系统：未来（C）LP系统的实验工作台。摘自：《逻辑和约束逻辑编程的并行性与实现》，美国纽约州康马克市新星科学出版社，第65\u201385页（1999年4月）“}，{“问题”：“2”，“关键”：“3_CR7”，“doi-asserted-by”：“发布者”，“首页”：“155”，“doi”：“10.1016\/j.artint.2004.05.001”，“卷”：“158”，”作者：“K.Kaneiwa”，年：“2004”，“非结构化”：“Kaneiwa，K.：具有谓词层次结构的有序逻辑编程。人工智能\u00a0158（2），155\u2013188（2004）“，“journal-title”：“人工智能”}，{“key”：“3_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Ramakrishnan，I.V.，Rao，P.，Sagonas，K.F.，Swift，T.，Warren，D.S.：逻辑程序的有效列表机制。In:ICLP，pp.697\u2013711（1995）”，“doi”：“10.7551\/mitpress\/4298.003.0067“}，{“key”：“3_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Mu\u00f1oz-Hern\u00e1ndez，S.，Moreno-Navarro，J.，Hermenegildo，M.：使用抽象解释的有效否定。In:Nieuwenhuis，R.，Voronkov，A.（eds.）Logic for Programming，Artificial Intelligence and Reasoning，La Habana（古巴）（2001）”，“doi”：“10.1007\/3-540-45653-8_33“}，{“key”：“3_CR10”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“首页”：“39”，“doi”：“10.1007\/978-3-540-24754-8_5”，“volume-title”：《函数与逻辑编程》，“author”：“S.Mu\u00f1oz”，“year”：“2004”，“unstructured”：“Mu\u00f1oz，S.，Mari\u00f1o，J.，Moreno-Navarro，J.J.：建设性内涵否定。收录：Kameyama，Y.，Stuckey，P.J.（编辑）FLOPS 2004。LNCS，第u00a02998卷，第39\u201354页。Springer，Heidelberg（2004）“}，{“key”：“3_CR11”，“volume-title”：“带注释的C++参考手册”，“author”：“M.A.Ellis”，“year”：“1990”，“unstructured”：“Ellis，M.A.，Stroustrup，B.：带注释的++参考手册。Addison-Wesley，Reading（1990）”}，}，“key“：”3_CR12“doi-asserted-by”：“crossref”，“非结构化”：“Taibi，T.：设计模式形式化的综合方法。In：设计模式形式化技术。IGI Publishing（2007年3月）“，”DOI“：”10.4018\/978-1-59904-219-0“}，{”key“：”3_CR13“，”DOI-asserted-by“：”publisher“，”first page“：“224”，“DOI”：“10.1145\/1101908.1101943”，”volume-title“：”ASE 2005“，”author“：”A.Blewitt“，”year“：”2005“，“unstructured”：“Blewitt，A.，Bundy，A.，Stark，I.：java设计模式的自动验证。收录：Redmiles，D.F.、Ellman，T.、Zisman，A.（编辑）ASE 2005。第20届IEEE自动化软件工程国际会议，美国加利福尼亚州长滩，2005年11月7日至11日，第224\u2013232页。ACM Press，New York（2005）“}，{“key”：“3_CR14”，“unstructured”：“Mens，K.，Michiels，I.，Wuts，R.：通过声明性编码编程支持软件开发。收录于：SEKE，pp.236\u2013243（2001）”}，}“issue”：“10”，“key“：”3_CR15Hovemeyer，D.，Pugh，W.：发现虫子很容易。ACM SIGPLAN Notices\u00a039（10），132\u2013136（2004）”，“期刊标题”：“ACM SIGPLAN Notices”}，｛“issue”：“5”，“key”：“3_CR16”，“doi asserted by”：“publisher”，“first page”：“69”，“doi”：“10.1145\\543552.512539”，“volume”：“37”，“author”：“S.Hallem”，“year”：“2002”，“nonstructured”：“Hallem，S.、Chelf，B.、Xie，Y.、Engler，D.：建筑系统特定静态分析的系统和语言。ACM SIGPLAN Notices\u00a037（5），69\u201382（2002）“，”journal-title“：”ACM SIGPLAN Notices“}，{”key“：”3_CR17“，”first page“：“103”，“volume-title”：“ASE”，“author”：“E.N.Volanschi”，“year”：“2006”，“unstructured”：“Volanschi.，E.N.：一种便携式编译器集成的永久检查方法。收录：ASE，第103\u2013112页。IEEE Computer Society Press，Los Alamitos（2006）“}，{”key“：“3_CR18”，“first page”：“363”，“volume-title”：“OOPSLA 2005”，“author”：“M.Martin”，“year”：“2005”，”unstructured“：”Martin，M.，Livshits，B.，Lam，M.S.：使用PQL查找应用程序错误和安全缺陷：程序查询语言。In:OOPSLA 2005。《面向对象编程、系统、语言和应用学报》，美国纽约州纽约市，第363\u2013385页。ACM Press，New York（2005）“}，{“key”：“3_CR19”，“unstructured”：“Schwitter，R.：受控自然语言，http://www.ics.mq.edu.au\/~rolfs\/Controlled-natural-languages”}]，“container-title”：[“声明语言的实用方面”，“计算机科学中的课堂笔记”]，“original-title“：[]，”链接“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-77442-6_3“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2024,2,20]]，“date-time”：”2024-02-20T09:55:38Z“，“timestamp”：1708422938000}，“score”：1，“resource”：{“primary”：“{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-77442-6_3“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007]]}，“ISBN”：[“9783540774419”，“978354774426”]，”引用计数“：19，”URL“：”http://\/dx.doi.org\/10.1007\/9783-540-77442-6 _3“，”关系“：{}”，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2007]]}}