{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T12:01:34Z”，“时间戳”：1649073694081}，“引用-计数”：23，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：{-日期-部件“：[[1996,6,1]]，“日期时间”“：”1996-06-01T00:00:00Z“，“timestamp”：833587200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”New-Gener Compute“]，”published-print“：{”date-parts“：[[1996,6]}”，“DOI”：“10.1007\/bf037500”，“type”：“journal-article”，“created”：{“date-parts”：[[2009,4,24]]，“日期-时间”：“2009-04-24T03:15:58Z”，“时间戳”：1240542958000}，“页面”：“237-259”，“来源”：“Crossref”，“被计数引用”：1，“标题”：[“实现逻辑编程中的有效部分求值”]，“前缀”：“10.1007”，“卷”：“14”，“作者”：[｛“给定”：“David A.”，“家族”：“Fuller”，“序列”：“第一个”，“隶属关系”：[]｝，｛“给定”：“Sacha A.”，“家族”：“Bocic”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Leopoldo E.”，“family”：“Berstossi”，“序列”：“附加”，“从属”：[]}]，“member”：“297”，“reference”：[{“issue”：“7”，”key“：”BF03037500_CR1“，”首页“32”，“volume”：”17“author”：“P.Abrahams”，“year”：“1971”，”非结构化“：“Abrahams，P.，u201cCompiler Pessimization，u201dDatamation，17，7，pp.32\u201333，1971。”，“journal-title”：“Datamation”}，{“key”：“BF03037500_CR2”，“unstructured”：“Abramsky S.and Hankin，C.（eds.），声明性语言的抽象解释，Wiley，1987。”}、{“key”：”BF0303500_CR3“，”doi-asserted-by“交叉引用”，“首页”：“47”，“doi”：“10.1016\/0304-3975（91）90298-G”，“volume”：“90”，“author”：“M.A.Bulyonkov”，“year”：“1991”，“unstructured”：“Bulyonov，M.A.，\u201c From Partial Evaluation to Mixed Computation，\u201理论计算机科学，90，Elsevier，pp.47\u201360，1991。”，“journal title”：“Theory Computer Science”}，{“key”：”“BF03037500_CR4”，“volume-title”：“逻辑编程中的元编程”，“作者”：“D.Chan”，“年份”：“1989年”，“非结构化”：“Chan，D.and Wallace，M.，u201cA在部分评估期间否定的处理，逻辑编程中元编程的u201d（H.Abramson and M.Rogers，eds.），麻省理工出版社，伦敦，第16章，1989年。”}，{“key”：“BF037500_CR5”，“unstructured”：“Ershov，A。P.，\u201cOn the Essence of Compliation，《关于编译的本质》，《编程概念的形式化描述》（E.J.Neuhold，ed.），North-Holland，第391页\u20134181978。“}，{“key”：“BF03037500_CR6”，“series-title”：“新一代计算”，“volume-title”：《Prolog程序的混合计算》，“author”：“D.Fuller”，“year”：“1988”，“unstructured”：“Fuller，D.和Abramsky，S.，Prolog程序的混合计算，新一代计算，6，Ohmsha，Springer-Verlag，东京，1988。“}，{“key”：“BF03037500_CR7”，“volume-title”：“逻辑编程中的部分求值和混合计算”，“author”：“D.Fuller”，“year”：“1989”，“unstructured”：“Fuller，D.，逻辑编程中的部分求值和混合计算。英国伦敦帝国理工学院计算系D论文，1989年，{“key”：“BF03037500_CR9”，“doi-asserted-by”：“crossref”，“first-page”：“95”，“doi”：“10.1007\/978-14615-3422-8_9”，《volume-title》：“计算机科学：研究与应用”，“author”：“D.Fuller”，“year”：“1992”，“unstructured”：“Fuller，D.和Bocic S.，《扩展逻辑编程中的部分求值》，《计算机科学：研究与应用》（R.Baeza-Yates和U.Manber编辑），纽约Plenum出版社，第95页，2013107，1992年。”}，{“问题”：“5”，“关键”：“BF03037500_CR10”，“首页”：“41”，“卷”：“2”，“作者”：“Y.Futamura”，“年份”：“1971”，“非结构化”：“Futamura，Y.，\u201c计算过程的部分评估\u2014An Approach to a Compiler-Compiler，\u201系统，计算机，控制，2，5，pp.41\u201367，1971.”，“journal-title”：“Systems，Computers，Control”}，{“key”：“BF03037500_CR11”，“series-title”：：“EBG分析及其与部分评估的关系：经验教训”，“作者”：“U.Hoppe”，“年份”：“1991年”，“非结构化”：“Hoppe，U.，\u201cAn Analysis of EBG and Its Relation to Partial Evaluation:Lessons Learned，\u201技术报告，第572号，GMD-IPSI，Darmstadt，Germany，1991年。”}，{“key”：“BF03037500_CR12”，“doi-asserted-by”：“crossref”，“非结构化”：“Jones，N.，Sestoft，P.，and S\u00f8ndergaard，H.，\u201cAn Experiment in Partial Evaluation：The Generation of a Compiler Generator，《重写技术与应用》（J.P.Jouannaud，ed.），《计算机科学讲义》，第202期，Springer-Verlag，pp.124\u20131401985。”，“DOI”：“10.1007\/3-540-15976-2_6”}，{“key”：“BF03037500_CR13”，“doi asserted by”：“crossref”，“首页”：“95”，“doi”：“10.1016/0304-3975（91）90301-H”，“卷”：“90”，“作者”：“N.D.Jones”，“年份”：“1991”，“非结构化”：“Jones，N.D.，\u201cStatic Semantics，Types，and Binding Time Analysis，\u201dTheological Computer Science，90，Elsevier，pp.95\u20131181991.”，“期刊标题”：“理论计算机科学”}，{“key”：“BF03037500_CR14”，“unstructured”：“Jones，N.D.，Sestoft，P.，and S\u00f8ndergaard，H.，\u201cMIX:编译器生成器实验的自适用部分求值器，\u201 dJ.LISP符号计算，1992。”}：“a \u201cMultiple Words\u201d Logic Language中元程序的部分评估”，“author”：“G.Levi”，“year”：“1988”，“unstructured”：“Levi，G.and Sardu，G.，\u201c a \u201 cMultipleWords\u 201d Logical Language，\u201 d New Generation Computing，6，Springer-Verlag，Tokyo，1988”}，{“key”：“BF037500_CR16”，“series-title”：“技术报告”，“volume-title”：“逻辑编程中的部分评估”，“author”：“J.W.Lloyd”，“year”：“1991”，“unstructured”：“Lloyde，J.W.&Shepherdson，J.C.，\u201cLogic Programming中的部分评价，\u201技术报告，英国布里斯托尔大学计算与数学系，1991。”}，{“key”：“BF03037500_CR17”，“unstructured”：“Mellish，C.，\u201cPROLOG程序的抽象解释，2）Abramsky，S.和Hankin，C.（eds.），《声明语言的抽象解释》，Wiley，pp.181\u20131981987。”}，{“key”：“BF203037500_CR18”，“非结构化”：“Mendelzon，A.，u201cLogic and Databases，智利计算机科学学会第八届会议，圣地亚哥，1988年。”}，{“key”：“BF03037500_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Mitchell，T.M.，Keller R.M.和Kedar-Cabelli，S.T.，基于解释的泛化：统一观点，机器学习，第一卷，1986年。”，“DOI”：“10.1007\/BF00116250”}，{“key”：“BF0303750_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sterling，L.and Beer，R.，\u201cIncremental Flavor Mixing of Meta-Interpreters for Expert System Construction，《技术报告》，TR 103-86，美国凯斯西储大学自动化与智能系统研究中心，1986年”，“DOI.”：“10.1145\\324634.325305”｝，｛“key”：“BF03037500_CR21”，“doi asserted by”：“crossref”，“首页”：“17”，“doi”：“10.1016\\0304-3975（91）90296-E”，“volume”：“90”，“author”：“I.V.Pottosin”，“year”：“1991”，“nonstructured”：“Pottosin，I。V.，\u201cAnalysis of Program Optimization Possibilities and Further Development，\u201《程序优化可能性分析与进一步发展》，《理论计算机科学》，90，Elsevier，pp.17\u2013361991。“，“期刊标题”：“理论计算机科学”}，{“关键”：“BF03037500_CR22”，“非结构化”：“Takeuchi，A.和Furukawa，K.，《PROLOG程序的部分评估及其在元编程中的应用》，《信息处理》86（H.Kugler，ed.），Proc。IFIP 86 Conference，North-Holland，1986。“}，{”key“：”BF03037500_CR23“，”doi-asserted-by“：”crossref“，”first page“：“401”，“doi”：“10.1016\/0004-3702（88）90088-4”，“volume”：“36”，“author”：“F.Harmelen van”，”year“：”1988“，”unstructured“：”van Harmelen，F.和Bundy，A.，基于解释的泛化=部分评估，人工智能，36，pp.401\u20134121988.“，”期刊标题“：”人工智能“}]，”容器标题“：[”新一代计算“]，”原始标题“：[]，”语言“：”en“，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF03037500.pdf“，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\-link.springer.com/article\/10.10007\/BF0037500\/fulltext.html”，“content-type“：”text\/html“，”content-versiion“：”vor“，”intended-application“：”“text-miling”}，{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/BF03037500“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,23]]，”date-time“：“2019-05-23T00:52:38Z”，”timestamp“：1558572758000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/BF0303750“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1996,6]]}，“引用计数”：23，“日志发布”：{“发布”：“2”，“发布发布”：org\/10.1007\/bf0303750“，”关系“：{}，”ISSN“：[”0288-3635“，”1882-7055“]，”issn-type“：[{”value“：“0288-3635”，“type”：“print”}，{”value“：“1882-7055”，“类型”：“electronic”}]，“主题”：[]，“发布”：{”date-parts“：[[1996,6]]}}}