{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,10]]，“日期时间”：“2024-04-10T17:59:03Z”，“时间戳”：1712771943002}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540221197”，“类型”：“打印”}，{“值”：“9783540259350”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-25935-0_3“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,22]]，“date-time”：“2010-07-22T19:46:50 Z“，”时间戳“：1279828010000}，”页面“：“30-50”，“source”：“Crossref”，“is-referenced-by-count”：65，“title”：[“多级编程简介”]，“prefix”：“10.1007”，”author“：[{”given“：”Walid“，”family“：”Taha“，”sequence“：”first“，”affiliation“：[]}]，”member“：”297“，”reference“：[[{“key”：”3_CR1“，”unstructured“：”Bawden，A.：LISP中的准引用。in:Danvy，O.（ed.）《部分评估和基于语义的程序操作研讨会论文集》，圣安东尼奥，第88页\u201399。奥胡斯大学计算机科学系（1999年）（受邀演讲）“}，{“key”：“3_CR2”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“first page”：“57”，“doi”：“10.1007\/978-3-540-39815-8_4”，“volume title”：“Generative Programming and Component Engineering”，“author”：“C.Calcagno”，“year”：“2003”，“nonstructured”：“Calcagno，C.，Taha，W.，Huang，L.，Leroy，X.：使用asts、gensym和reflection实现多阶段语言。收录：Pfenning，F.，Smaragdakis，Y.（编辑）GPCE 2003。LNCS，第u00a02830卷，第57\u201376页。Springer，Heidelberg（2003）“}，{“key”：“3_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Consel，C.，Danvy，O.：部分评估的教学笔记。摘自：ACM编程语言原理研讨会，第493\u2013501页（1993）”，“doi”：“10.1145\/158511.158707”}，}，“key“：”3_CR4“series-title”：“计算机科学讲稿”doi-asserted-by“：”publisher“，”first page“：”51“，”doi“：”10.1007\/978-3-540-25935-0_4“，”volume-title“：”Domain-Specific Program Generation“，”author“：”K.Czarnecki“，”year“：”2004“，”unstructured“：”Czarneki，K.，O\u2019Donnell，J.T.，Striegnitz，J.，Taha，W.：MetaOCaml中的DSL实现，Template Haskell，and C++。收录：Lengauer，C.、Batory，D.、Consel，C.、Odersky，M.（编辑）《特定领域程序生成》。LNCS，第u00a03016卷，第51\u201372页。Springer，Heidelberg（2004）“}，{“key”：“3_CR5”，“unstructured”：“Danvy，O.：非线性模式的语义导向编译。技术报告303，印第安纳大学，美国印第安纳州布卢明顿（1990）”}，}，“key“：”3_CR6“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“crossref”，“first page”：”216“，”doi“：”10.1007\/3-540-61580-6_11“，“volume-title”：“Partial Evaluation”，“author”：“N.D.Jones”，“year”：“1996”，“unstructured”：“Jones，N.D.：编写专业口译员时不要做什么。在：Danvy，O.，Thiemann，P.，Gl\u00fcck，R.（编辑）Dagstuhl研讨会1996。LNCS，第u00a01110卷，第216\u2013237页。Springer，Heidelberg（1996）“}，{“key”：“3_CR7”，“volume-title”：“部分评估和自动程序生成”，“author”：“N.D.Jones”，“year”：“1993”，“unstructured”：“Jones，N.D.，Gomard，C.K.，Sestoft，P.：部分评估和程序自动生成。Prentice-Hall，Englewood Cliffs（1993）”}，}，“key“：”3_CR8“，”doi-asserted-by“：”publisher“，”第一页“：”227“，”DOI“：”10.1145\/182409.182483“，”卷时间“：”1994 ACM Lisp和函数式编程会议“，”作者“：”J.L.Lawall“，”年份“：“1994”，”非结构化“：”Lawall，J.L.，Danvy，O.：基于连续性的部分评估。1994年ACM Lisp和函数编程会议，佛罗里达州奥兰多，1994年6月，第227\u2013238页。ACM，纽约（1994）“}，{”key“：”3_CR9“，”unstructured“：”Leroy，X.：Objective Caml（2000），可从以下网址获得：http://\/Caml.inria.fr\/ocaml\/“}”，{“key”：“3_CR10”，“unstructure”：“lint的完整源代码（2003），在线获取：http://www.metaocaml.org\/examples\/lint.ml“}MetaOCaml：一种编译的、类型安全的多级编程语言（2003年），可从以下网站在线获得：http://www.MetaOCaml.org“}，{“key”：“3_CR12”，“unstructured”：“MetaML主页（2000年），在线提供源代码和文档：http://www.cse.ogi.edu\/PacSoft\/projects\/MetaML\/index.html”}，}“key”：“3CR13”，“非结构化”：“俄勒冈州研究生院技术报告。美国俄勒冈州波特兰市邮政信箱91000，邮编：97291-1000，网址：ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html“}，{“key”：“3_CR14”，“volume-title”：“函数编程国际会议（ICFP 2002）”，“author”：“E.Pa\u0161ali\u0107”，“year”：“2002”，“unstructured”：“Pa\u0161ali\u0107，E.，Taha，W.，Sheard，T.：打字语言的无标签阶段口译员。摘自：函数编程国际会议（ICFP 2002），美国匹兹堡，2002年10月。ACM，New York（2002）“}，{“key”：“3_CR15”，“unstructured”：“Sheard，T.：元程序设计的成就和研究挑战。摘自：Batory，D.，Consel，C.，Taha，W.（eds.）GPCE 2002。LNCS，第u00a02487卷，第2\u201344页。Springer，Heidelberg（2002）“}，{“key”：“3_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Sheard，T.，Benaissa，Z.E.-A.，Pa\u0161ali\u0107，E.：使用staging和monad的DSL实现。In:第二届领域特定语言会议（DSL 1999），德克萨斯州奥斯汀，USENIX（1999）”，“doi”：“10.1145\/331960.331975”}，“{”key：“3_CR17”，“非结构化”：“Taha，W.：多阶段编程：理论与应用。俄勒冈科学技术研究生院博士论文（1999年）；可从[13]“}获得，{“key”：“3_CR18”，“volume-title”：“部分评估和基于语义的程序操作（PEPM）研讨会论文集”，“author”：“W.Taha”，“year”：“2000”，“unstructured”：“Taha，W.：非类型CBN多级计算的降噪语义。或者，MetaML的理论是非平凡的。摘自：《部分评估和基于语义的程序操作（PEPM）研讨会论文集》，波士顿。ACM Press，New York（2000）“}，{“key”：“3_CR19”，“unstructured”：“Taha，W.，Makholm，H.：标记消除\u2013或\u2013类型专业化是一种类型诱导的效果。In：程序设计中的子类型和依赖类型，APPSEM Workshop.INRIA技术报告（2000）”}，}“key:”3_CR20“series-title”：“计算机科学中的讲义”，“doi-asserted-by”：“publisher“，”first page“：”257“，”DOI“：”10.1007 \/3-540-44978-7_15“，”volume-title“：”Programs as Data Objects“，”author“：”W.Taha“，”year“：”2001“，”unstructured“：”Taha，W.，Makholm，H.，Hughes，J.：标记消除和jones优化。收录：Danvy，O.，Filinski，A.（编辑）PADO 2001。LNCS，第u00a02053卷，第257\u2013275页。Springer，Heidelberg（2001）“}，{”key“：”3_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Taha，W.，Nielsen，M.F.：环境分类器。In:The Symposium on Principles of Programming Languages（POPL 2003），New Orleans（2003）“，”doi“：”10.1145\/604131.604134“}”，{“key”：“3_CR22”，“doi-assert-by”：“publisher”，“first page”：”203“，“doi”：“”10.1145\/258993.259019“，“volume-title”：“部分评估和基于语义的程序操作（PEPM）研讨会论文集”，“author”：“W.Taha”，“year”：“1997”，“unstructured”：“Taha，W.，Sheard，T.：带显式注释的多阶段编程。摘自：《部分评估和基于语义的程序操作（PEPM）研讨会论文集》，阿姆斯特丹，第203\u2013217页。ACM Press，New York（1997）“}]，“container-title”：[“特定领域程序生成”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25935-0_3.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{日期部分”：[[2020,11,19]，“日期-时间”：“2020-11-19T04:58:44Z”，“时间戳”：1605761924000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-25935-0_3”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2004]]｝，“国际标准图书号”：[“9783540221197”，“9783540259350”]，“引用计数”：22，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-25935-0_3“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject:[]，”published“：{”date-parts“：[2004]]}}}}