{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,8]]，“日期时间”：“2023-02-08T07:31:53Z”，“时间戳”：1675841513653}，“出版商位置”：“柏林，海德堡”，“参考计数”：50，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642642494”，“类型”：“打印”}，{“值”：“9783642600852”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_6“，”type“：”book-capter“，”created“：{”date-ports“：[2011,9,8]]，”date-time“：”2011-09-08T11:03:26Z“，”时间戳“：1315479806000}，”页面“：”127-159“，“source”：“Crossref”，“is-referenced-by-count”：17，“title”：[“Horn Logic表示法及其应用”]，“prefix”：“10.1007”，”author“：[{”given“：”Gopal“，”family“：”Gupta“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[{“key”：”6_CR1“，”volume-title“：”Theory Computer Science“，”auth:”R Alur“，“year”：“1994”，“unstructured”“：”R。阿鲁，D.迪尔。时间自动机理论。理论计算机科学，1261994年“}，{“问题”：“5”，“关键”：“6_CR2”，“doi-asserted-by”：“出版商”，“首页”：“564”，“doi”：“10.1145”，“卷”：“18”，“作者”：“M Garcia de la Banda”，“年份”：“1996”，“非结构化”：“M.Garcia der la Banda，M。Hermenegildo等人。约束逻辑程序的全局分析。在ACM事务中。项目。《语言与系统》，第18卷，第5期，第564\u2013615页，ACM，1996年“，“新闻标题”：“ACM Trans。关于Prog。语言和系统“}，{“key”：“6_CR3”，“volume-title”：“演绎数据库和逻辑编程”，“author”：“SK Das”，“year”：“1992”，“unstructured”：“S.K.Das.演绎数据库和逻辑学编程。Addison-Wesley。1992”}，}“key:”6_CR4“，”volume-titel“：”逻辑程序的无故障分析“，”author“：”S Debray“，”year“：”1997“，“unsructured“：”S。德布雷、P.洛佩兹-加西亚和M.赫尔梅内吉尔多。逻辑程序的非故障分析。在逻辑程序设计国际会议上。麻省理工学院出版社，1997年。“}，{”key“：”6_CR5“，”doi-asserted-by“：”crossref“，”first page“：“95”，”doi“：”10.1007\/3-540-55984-1_11“，”volume“：‘641’，”author“：”DF-Brown“，”year“：”1992“，”unstructured“：”D.F.Brown等人。ACTRESS:一个动作语义导向的编译器生成器。In Proc.4th Int\u2019l Conf.on compiler Construction。Springer LNCS 641，pp.95\u2013109。1992年“，“新闻标题”：“Proc。第四届国际编译构造会议“}，{“key”：“6_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“W.Chen，D.S.Warren.一般逻辑程序的延迟表评估，In J ACM 43（1）：20\u201374”，“doi”：“10.1145\/227595.227597”}，“key“：”6_CR7”，“first-page”：“772”，“volume-title”：“Proc.N.American Conf.on Logic Programming”，“作者：“S Satluri”，“year”：“1989”，“unstructured”：“S.Satlui和A.C.Fleck。使用逻辑程序的语义规范。程序中。1989年美国逻辑编程会议，麻省理工学院出版社。pp.772\u2013791“}，{“key”：“6_CR8”，“volume-title”：“ACM TOPLAS”，“author”：“EM Clark”，“year”：“1986”，“unstructured”：“E.M.Clarks，E.A.Emerson，A.P.Sistla。使用时态逻辑规范对有限状态并发系统进行自动验证。InACM TOGLAS，8（2），1986”}，}，“key“：”6_CR9“，”第一页“：”170“，“volome-title“：”使用语言开发方法构建软件”，“作者”：“C Consel”，“年份”：“1998年”，“非结构化”：“C.Consel。使用语言开发方法构建软件。程序中。第十届国际学术研讨会。项目。语言实施。，逻辑与程序（PLILP），1998年9月，Springer LNCS 1490，pp.170\u2013194“}，{“key”：“6_CR10”，“first page”：”238“，“volume-title”：“抽象解释：构建或近似固定点的程序静态分析的统一模型”，“author”：“P Cousot”，“year”：“1977”，“unstructured”：“P.Cousot，R。Cousot，\u201cAbstract Interpretation:A Unified Model for Static Analysis of Programs for Construction or Approximation of Fix-points \u201d，In Conference Record of the 4th ACM POPL，pp.238\u20132521977“}，{“key”：“6_CR11”，“doi-asserted-by”：“crossref”，“first page”：《215》，“doi”：“10.1007\/3-540-13346-1_11”，《第四届ACM POLL会议记录》，第238\u页，第173页，“作者”：“T Despeyroux”年份”：“1984年”，“非结构化”：“蒂埃里·德斯佩罗。静态语义的可执行规范。在数据类型语义中，Springer LNCS 173。第215\u2013234页。1984年”，“journal-title”：“数据类型的语义”}，{“key”：“6_CR12”，“first page”：”230“，“volume-title“：“基于约束的实时系统规范和验证的指称方法”，“author”：“G Gupta”，“year”：“1997”，“unstructured”：“G.Gupta，E。庞泰利。一种基于约束的表示方法，用于描述和验证实时系统。程序中。IEEE实时系统研讨会，旧金山，第230\u2013239页。1997年12月“}，{“key”：“6_CR13”，“first-page”：“579”，“volume-title”：“可证明正确的并行化编译器的自动派生”，“author”：“G Gupta”，“year”：“1998”，“unstructured”：“G.Gupta，E.Pontelli，R.Felix-Cardenas，a。Lara，《可证明正确的并行化编译器的自动推导》，《国际并行处理会议论文集》，IEEE出版社，1998年8月，第579\u2013586页。“}，{“key”：“6_CR14”，“volume-title”：“Horn逻辑表示及其应用”，“author”：“G Gupta”，“year”：“1995”，“unstructured”：“G。古普塔。霍恩逻辑的表示及其应用。内部备忘录。1995年1月。“}，{“key”：“6_CR15”，“volume-title”：“复杂软件系统的规范、验证、组合和互操作：逻辑表示方法”，“author”：“G Gupta”，“year”：“1997”，“unstructured”：“G.Gupta，E。庞泰利。复杂软件系统的规范、验证、组合和交互：逻辑表示方法。技术报告。新墨西哥州立大学。1997年12月。“}，{“key”：“6_CR16”，“unstructured”：“G.Gupta，E.Pontelli，H.Guo，L.Zhu.Prolog的WAM编译器和本机代码编译器的自动生成。新墨西哥州立大学。工作文件”}，}，“key“：”6_CR17“，”unstructure“：”G.Gupsa，E。庞泰利。抽象解释的Horn逻辑表示框架。新墨西哥州立大学。工作文件。“}，{”key“：”6_CR18“，”volume-title“：”Programming Language Semantics“，”author“：”C Gunter“，”year“：”1992“，”unstructured“：”C.Gunter.Programming-Language Semantics.MIT Press.1992“}”，{“key”：“6_CR19”，”doi-asserted-by“：”publisher“，”first page“：“576”，”doi“：”10.1145\/3635363259“，”“volume”：”“12”，“author”：“CAR Hoare”，“year”：“1969”，“非结构化”：“C.A.R。霍尔。计算机程序设计的公理基础。ACM命令。第12卷。第576\u20135801969页”，“日记标题”：“ACM的通信”}，{“key”：“6_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“N.Jones。部分评估简介。在ACM计算调查中。28（3）：480\u2013503.”，“doi”：“10.1145\/2439.243447”}：“1987”，“非结构化”：“J.L.Lassez和J.Jaffar。约束逻辑编程。程序中。第14届ACM POPL，1987年“}，{“key”：“6_CR22”，“volume-title”：“真实编译器生成”，“author”：“P Lee”，“year”：“1989”，“unstructured”：“P.Lee.真实编译器生成。麻省理工学院出版社，马萨诸塞州剑桥，1989年。”}，}“key:”6_CR23“，“first page”：”136“，“volum-title“：”布莱叶盲文Nemeth数学到LATEX的翻译框架：MAVIS项目“，”author“：”A Karshmer”，“年份”：“1998年”，“非结构化”：“A.Karshme，G.Gupta，S.Geiger，C.Weaver。布莱叶盲文Nemeth数学到LATEX的翻译框架：MAVIS项目。程序中。美国计算机学会辅助技术会议，美国计算机学会出版社，第136\u2013143页，1998年3月“}，{“键”：“6_CR24”，“首页”：“63”，“卷时间”：“逻辑程序的自动终止分析”，“作者”：“N Lindenstrauss”，“年份”：“1997”，“非结构化”：“N.Lindenstraus，Y。萨吉夫。逻辑程序的自动终止分析。程序中。1997年逻辑程序设计国际会议。第63\u201377页“}，{“键”：“6_CR25”，“doi-asserted-by”：“交叉引用”，“doi”：“10.1007\/978-3642-83189-8”，“卷时间”：“逻辑编程基础”，“作者”：“JW Lloyd”，年：“1987”，“非结构化”：“J.W.Lloyd.逻辑编程基础.Springer Verlag.1987年第2版”，“版本”：“2”}，}“键“：”6_CR26“卷时间“：”从操作语义到抽象机器”，“作者”：“J Hannan”，“年份”：“1990年”，“非结构化”：“J.Hannan，D.Miller。从操作语义到抽象机器。程序中。Lisp和函数编程会议，1990年。“}，{”key“：”6_CR27“，”first page“：“436”，“volume”：“45”，“author”：“PD Mosses”，“year”：“1976”，“unstructured”：“P.D.Mosses.使用指称语义生成编译器。In Math.Foundations of Computer Science，Springer LNCS 45，pages 436\u20134411976”，“journal title”：“数学专业。计算机科学基础“}，{“key”：“6_CR28”，“volume-title”：“The Braille-Nemeth Math Code”，“author”：“A Nemeth”，“year”：“1972”，“unstructured”：“A.Nemeth。The Braille Nemeth Meth Code。American Printing House for The Blind。1972年修订。肯塔基州路易斯维尔”}，}“issue”：“1”，“key“：”6_CR29”，“doi-asserted-by”：“publisher”，“首页”：“59”，“doi”：“”10.1016\/0304-3975（86）90006-X“，“卷”：“56”，“作者”：“F尼尔森”，“年份”：“1988”，“非结构化”：“F.尼尔森和H.R.尼尔森。两级语义和代码生成。理论计算机科学，56（1）：59\u2013133。1988.“，”journal-title“：“理论计算机科学”}，{“key”：“6_CR30”，“volume-title”：“使用通用逻辑编程系统的实用程序分析”，“author”：“CR Ramakrishnan”，“year”：“1996”，“unstructured”：“C.R.Ramakrishnan，S.Dawson，and D。沃伦。使用通用逻辑编程系统的实用程序分析：案例研究。程序中。1996年ACM编程语言设计与实现会议“}，{“key”：“6_CR31”，“volume-title”：“领域特定语言Usenix会议论文集”，“year”：“1997”，“unstructured”：“C.Ramming.Editor，Proceedings of the Usenix Conference on Domain-Specific Languages，October 1997，Santa Barbara，California，USA”}，}doi-asserted-by“：”crossref“，”unstructured“：”M.Raskovsky，Phil Collier。从标准到实现的指称语义。语义学指导下的计算机科学94编译器生成讲义。斯普林格·弗拉格。第94\u2013139页“，“DOI”：“10.1007\/3-540-10250-7_20”}，{“key”：“6_CR33”，“volume-title”：“使用表分辨率进行有效模型检查”，“author”：“YS Ramakrishnan”，“year”：“1997”，“unstructured”：“利用表分辨率进行高效模型检查。《计算机辅助验证程序》（CAV\u201997）。1997年“}，{”key“：”6_CR34“，”doi-asserted-by“：”crossref“，”first page“：“248”，”doi“：”10.1007\/3-540-57877-3_17“，”volume“：：”786“，”author“：”J Ringstrom“，”year“：”1994“，”unstructured“：”J.Ringstrom，P.Fritzson，M。佩特森。从命名规范生成数据并行语言的高效编译器。《计算机科学讲义》，第786卷，第248\u2013260页。1994.“，”journal-title“：“在计算机科学的课堂笔记中”}，{“key”：“6_CR35”，“volume-title”：“High Integrity Compilation”，“author”：“S Stepney”，“year”：“1993”，“unstructured”：“S.Stepney。High Integrity Compilation。Prentice Hall.1993”}。瑞典皇家理工学院。（软件可从www.sics.se获得）。“}，{”key“：”6_CR37“，”volume-title“：”XSB是一个高效的演绎数据库引擎“，”author“：”K Sagonas“，”year“：”1994“，”unstructured“：”K.Sagona，T.Swift，and D.S.Warren。XSB是高效的演绎数据引擎。在SIGMOD International Conf.on Management of Data，1994“}Proc.中，{指称语义学：语言发展的方法论”，“作者”：“D施密特”，“年份”：“1986年”，“非结构化”：“D.施密特。指称语义学：语言发展的方法论。W.C.Brown Publishers，1986年。“}，{”key“：”6_CR39“，”doi-asserted-by“：”crossref“，”unstructured“：”D.Schmidt.编程语言语义。《CRC计算机科学手册》，Allen Tucker，ed.，CRC出版社，佛罗里达州博卡拉顿，1996年。摘要版，《ACM Computing Surveys 28\u20131（1996）265\u2013267.》，“DOI”：“10.1145\/234313.234419”}，{“key”：“6_CR40”，“DOI-asserted-by”：“crossref”，“unstructured”：“D.Schmidt.On the Need for a Popular Formal Semantics。Proc.ACM Conf.On Strategic Directions in Computing Research，Cambridge，MA，1996年6月。ACM SIGPLAN Notices 32\u20131（1997）115\u2013116“，“DOI”：“10.1145\/251595.251617”}，{“key”：“6_CR41”，“volume-title”：“数据流分析是抽象解释器的模型检查”，“author”：“D Schmidt”，“year”：“98”，“unstructured”：“D.Schmidt.Dataflow Analysis是抽象解析器的模型检测。在Proc.ACM POPL\u201998”}中，{”key“：”6_CR42“，”volume-title“：《序言的艺术》，“author”：“L Sterling”，“year”：“94”，“unstructured”：“L.Sterling&S.Shapiro。序言的艺术。麻省理工学院出版社\u2019,94.“}，{”key“：”6_CR43“，”volume-title“：”编译逻辑程序的数据流分析“，”author“：”J Tan“，”year“：”1992“，”unstructured“：”J.Tan和I-P.Lin.编译逻辑程序数据流分析。In Proc.ACM Conf.on Programming Language Design and Implementation。SIGPLAN Notices，27（7），1992。“}Prolog中的约束处理”，“作者”：“P Hentenryck Van”，“年份”：“1988”，“非结构化”：“P Van Hentenryck。序言中的约束处理。麻省理工学院出版社，1988年“}，{“key”：“6_CR45”，“volume-title”：“数据库基础”，“author”：“S Abiteboul”，“year”：“1995”，“unstructured”：“S.Abiteboule，R.Hull，V.Vianu.数据库基础”。Addison-Wesley，1995。“”M·旺德。面向语义的机器体系结构。在ACM POPL中。第234\u2013241页。1982年“}，{“key”：“6_CR47”，“volume-title”：“Prolog的抽象指令集”，“author”：“DHD Warren”，“year”：“83”，“unstructured”：“D.H.D.Warren.A Abstract Instruction Set for Prolog.Tech.Note 309，SRI Int\u2019l\u2019，83”}，}“key:”6_CR48“，“unsructured？机器智能。，10:441\u2013454“}，{“key”：“6_CR49”，“doi-asserted-by”：“publisher”，“first-page”：“97”，“doi”：“10.1002\/spe.4380100203”，卷：“10”，“author”：“DHD Warren”，年：“1979”，“unstructured”：“D.H.D.Warren.编译器编写的逻辑编程。软件实践与经验，10，pp.97\u2013125。1979.“，”journal-title“：”Software Practice and Experience“}，{“key”：“6_CR50”，“volume-title”：“Parallel and Vector Computers”，“author”：“H Zima”，“year”：“91”，“unstructured”：“H.Zima，B.Chapman。Parallel&Vector Computers。ACM Press \u2019,91”}]，“container-title（容器式）”：[“The Logic Programming Paradigm”，“人工智能“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_6.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,24]]，”date-time“：“2020-11-24T21:35:00Z”，“timestamp”：160625370000}，“score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-60085-2_6”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[1999]]}，“ISBN”：[“9783642642494”，“978364 2600852”]，”references-count“：50，”URL“：”http://\/dx.doi.org\/10007\/978 3-642-60085-2_6“，”关系“：{}，”ISSN“：[”1431-0066“]，”ISSN-type“：[{”value“：”1431-0066“，”type“：”print“}]，”subject“：[]，”published“：{”date-parts“：[[1999]]}}