{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T19:46:38Z”，“时间戳”：1693856798995}，“参考计数”：24，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2-3”，“许可证”：[{“开始”：}“日期部分“：[[1988,9,1]]，“date-parts”时间“：”1988-09-01T00:00:00Z“，“timestamp”：589075200000}，“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“：[[1988,9]}”，“DOI”：“10.1007\/bf03037134”，“type”：“journal-article”，“created”：{“date-parts”：[[2009,4,21]]，“日期-时间”：“2009-04-21T22:58:38Z”，“时间戳”：1240354718000}，“页面”：“119-141”，“源”：“交叉引用”，“is-referenced-by-count”：12，“标题”：[“Prolog程序的混合计算”]，“前缀”：“10.1007”，“卷”：“6”，“作者”：[{“给定”：“David A.”，“家族”：“Fuller”，“序列”：“第一”，“从属关系”：[]}，{“指定”：“Samson”，“家庭”：“Abramsky”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“BF03037134_CR1”，“unstructured”：“Aho，A.V.和Ullman，D.J.，编译器设计原理，Addison-Wesley，1979。”}，{“key”：：“Bancilhon，F.和Ramakrishnan，R.，\u201cAn Amateur\u2019s递归查询处理策略简介，《SIGMOD学报》，1986年。”，“DOI”：“10.1145\/16894.16859”}，{“key”：“BF03037134_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Beckman，L.，Haraldson，A.，Oskarsson，O.和Sandewall，E.，u201cA Partial Evaluator，and Its Use as A Programming Tool，人工智能，7，North-Holland，pp.319\u20133571976.”，“DOI”：“10.1016\/0004-3702（76）90011-4”}，{“key”：“BF03037134_CR4”，“series-title”：“研究报告，DoC79\/59”，“volume-title”：“谓词逻辑作为计算形式主义”，“author”：“K.L.Clark”，“year”：“1979”，“unstructured”：“Clark，K.L.，\u201cPredicate Logic as a Computational Formalism，\u 201d Research Report，DoC79\/59，Computing Department of Computing，Imperial College of Science and Technology，London，1979。”}，{“key”：“BF03037134_CR5”，“doi-asserted-by”：“交叉引用”，“非结构化”：“Ershov，A.P.和Itkin，V.E.，类算法程序中混合计算的正确性，计算机科学讲义，第53卷，Springer-Verlag，第59\u2013771977页。”，“DOI”：“10.1007\/3-540-08353-7_128”}，{“key”：“BF03037134_CR6”，“非结构化”：“Ershov，A。P.，\u201c《编译的本质》，《编程概念的形式化描述》（E.J.Neuhold，ed.）中的\u201d，North-Holland，1978年。“}，{“key”：“BF03037134_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Ershov，A。P.，\u201cMixed Computation:Potential Applications and Problems for Study，《混合计算：潜在应用和研究问题》，《理论计算机科学》，第18期，北荷兰人，第41页，201367，1982年。“，“DOI”：“10.1016\/0304-3975（82）90111-6”}，{“key”：“BF03037134_CR8”，“series-title”：“Research Report，DoC 87\/12”，“volume-title”：《Prolog程序的混合计算：扩展论文》，“author”：“D.A。Fuller”，“年份”：“1987年”，“非结构化”：“Fuller，D.A.和Abramsky，S.，\u201cProlog程序的混合计算：扩展论文，\u201研究报告，DoC 87\/12，伦敦帝国理工学院计算系，1987年6月。”}，{“key”：“BF03037134_CR9”，“series-title”：“研究报告”，“volume-title”：Prolog中的高效自适用部分评估”，“作者”：“D.A.Fuller”，“年份”：“1988年”，“非结构化”：“Fuller，D.A.，\u201c Prolog的高效自应用部分评估，伦敦帝国理工学院计算系研究报告，1988年2月。”}，{“问题”：“第5号”，“关键”：“BF03037134_CR10“，“首页”：“45”，“卷”：“2”，“作者”：“Y.Futamura”，“年份”：“1971”，“非结构化”：“Futamula，Y.，\u201cPartial Evaluation of Computer Process \u2014An Approach to a Compiler Compiler，\u201 dSystems，Computers，Controls，Vol.2，No.5，pp.45\u201350，1971。”，“日志标题”：“系统，计算机，控制”}，{“键”：“BF03037134_CR11“，”doi-asserted-by“：”crossref“，”first page“：”1“，“doi”：“10.1007\/3-540-11980-9_13”，“volume”：“147”，“author”：“Y.Futamura”，“year”：“1982”，“unstructured”：“Futamula，Y.，\u201cPartial Computation of Programs，\u201计算机科学讲义，Vol.147，Springer-Verlag，pp.1\u2013351982。”，“journal-title”：“计算机科学课堂讲稿“}，{“key”：“BF03037134_CR12”，“doi-asserted-by”：“crossref”，“first-pages”：“124”，”doi“：“10.1007\/3-540-15976-2_6”，”volume“：”202“，”author“：”N.D.Jones“，”year“：”1985“，”unstructured“：”Jones，N。D.，Sestoft，P.和Sondergaard，H.，u201cAn Experiment in Partial Evaluation：The Generation of a Compiler Generator，《部分评估的实验：编译器生成器》，《计算机科学讲义》，第202卷，法国第戎，第124\u2013140页，1985年。“，“期刊标题”：“计算机科学讲稿”}，{“key”：“BF03037134_CR13”，“非结构化”：“Jones，N。D.，\u201cAutomatic program specialization:a review from the first principles，\u20dDIKU Research Report，University of Copenhagen，1987年10月。“}，{“key”：“BF03037134_CR14”，“unstructured”：“Jones，N.D.，\u 201cFlow Analysis of Lazy Higher Order Functional Programs，\u201 D in Abstrative Languages（S.Abramsky and C。Hankin，eds.），Wiley，1987。“}，{“key”：“BF03037134_CR15”，“volume-title”：“Information Processing（IEIP74）”，“author”：“R.Kowalski”，“year”：“1974”，“unstructured”：“Kowalski，R.，\u201cPredicate Logic as a Programming Language，\u201 d in Information Procressing（IEIP 74），（H.J.Kugler，ed.）Elsevier Science，North Holland，1974。”doi由“：”crossref“，”unstructured“断言：”Lloyd，J.W.，in Foundations of Logic Programming，Springer Verlag，1984。“，”doi“：”10.1007\/978-3-642-96826-6“｝，｛”key“：”BF03037134_CR17“，”unstructured“：”Sestoft，P.，\u201cThe Structure of a Self-Applicable Partial Evaluator，\u201dResearch Report，85\/11，DIKU，哥本哈根大学，1985。“｝，｛”key“：”BF03037134_CR18“，”第一页“：”279“，”卷时间“：”信息处理（IFIP 86）“，”作者“：”A.Takeuchi“，”年份“：”1986“，”非结构化“：”Takeuchin，A.，“元口译员与部分评估之间的亲和性，信息处理（IP86），（H.J.Kugler，ed.），爱思唯尔科学，北荷兰，第279\u20132821986.“}，{”关键“：”BF03037134_CR19“，“首页”：“415”，“卷时间”：“信息处理（IFIP 86）”，“作者”：“A.Takeuchi”，“年份”：“1986”，“非结构化”：“Takeuchin，A.和Furukawa，K.，《Prolog程序的部分评估及其在元编程中的应用》，《信息处理》（IFIP 85）（H.J.Kugler，ed.），爱思唯尔科学，北荷兰，第415\u2013420页，1986年。“}，{“问题”：“第2号”，“关键”：“BF03037134_CR20”，“doi-asserted-by”：“crossref”，“首页”：“46”，“doi”：“10.1145\/954069”，“卷”：“14”，“作者”：“V.F.Turchin”，“年份”：“1979”，“非结构化”：“Turchin，V。F.，\u201cA基于REFAL语言的超级编译器系统，\u201 dSIGPLAN通知，第14卷，第2期，第46页\u201354，1979年2月。“，“日志标题”：“SIGPLAN声明”}，{“key”：“BF03037134_CR21”，“非结构化”：“Venken，R.，\u201cA Prolog Meta-Interpreter for Partial Evaluation and Its Implication to Source to Source Transformation and Query-Optimisation，《人工智能进展》（T.O\u2019Shea，ed.），意大利比萨，第347\u2013356页。1984年9月。”}，{“key”：“BF03037134_CR22”，“非结构化”：“Warren，D.H.D.，\u201cLogic Programming and Compiler Writing，\u201dD.A.I.Research Report，No.44，Edinburgh University，1977年9月。”}，{“key”：“BF03037134_CR23”，“非结构化”：“Warren，D.H。D.\u201c一种改进的Prolog实现，用于优化尾部递归，\u201dProc。匈牙利德布勒森逻辑编程研讨会，1980年。“}，{“key”：“BF03037134_CR24”，“unstructured”：“Warren，D.，Bowen，D.和Pereira，L.，inC-Prolog User\u2019s Manual（F.Pereira编辑），1985年1月。”}]，“container-title”：[“新一代计算”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF303037134.pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“http:\/\/link.springer.com\/article\/10.1007\/BF303037134\/fulltext.html”，“内容类型”：“文本\.html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/BF03037134“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,22]]，”date-time“：“2019-05-22T20:52:30Z”，”timestamp“：1558558350000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/BF03037134“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1988,9]]}，“引用计数”：24，“日志发布”：{“发布”：“2-3”，“发布发布”：}“日期部分”：[[11988,9]}，‘替代id’：[”BF037134”]，“URL”：“http://\/dx.doi org\/10.1007\/BF03037134“，”关系“：{}，”ISSN“：[”0288-3635“，”1882-7055“]，”issn-type“：[{”value“：“0288-3635”，“type”：“print”}，{”value“：“1882-7055”，“类型”：“electronic”}]，“主题”：[]，“发布”：{”date-parts“：[[1988,9]]}}