｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,31]，“日期时间”：“2022-03-31T12:44:50Z”，“时间戳”：1648730690554｝，“发布者位置”：“柏林，海德堡”，“引用计数”：31，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540427360”，“类型”：“打印”｝，｛“值”：“9783540455004”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-45500-0_26“，”type“：”book-capter“，”created“：”{“date-part”：[2007,10,25]]，“date-time”：“2007-10-25T19:37:33Z“，”时间戳“：1193341053000}，”页面“：”514-534“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“使用显式转发键入汇编程序”]，“prefix”：“10.1007”，”author“：[{”given“：”Lennart“，”family“：”Beringer“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2001,10,10]]}，“reference”：[{'键“：”26_CR1“，“doi-asserted”by“：”Crossref“，“非结构化”：“Bowen Alpern、Mark N.Wegman和F.Kenneth Zadeck。检测程序中变量的相等性。ACM编辑，POPL\u2019 88。编程语言原则会议记录，1988年1月13日至15日，加利福尼亚州圣地亚哥，第1\u201311页，美国纽约州纽约市，1988年。ACM出版社。“，”DOI“：”10.1145\/7350.73561“}，{“key”：“26_CR2”，“volume-title”：“ML中的现代编译器实现”，“author”：“A.W.Appel”，“year”：“1998”，“unstructured”：“Andrew W.Appel.ML中现代编译器实现。剑桥大学出版社，英国剑桥，1998年。”}，}“issue”：“3”，“key“：”26_CR3“，”“DOI-asserted-by”：“publisher”，“first page”：”36“，“DOI”：”10.1109\/40.768501“，“卷”：“19”，“作者”：“沈从文”，“年份”：“1999”，“非结构化”：“阿文德和小薇·沈从文。使用术语重写系统来设计和验证处理器。IEEE Micro，19（3）：36\u2013461999年5月/6月。“，”journal-title“：”IEEE Micro“}，{“key”：“26_CR4”，“unstructured”：“D.K.Arvind和Robert D.Mullins。完全异步超标量处理器。摘自《并行架构与编译技术国际会议论文集》（PACT），1999年。”}，“key“：”26_CR5“，”doi-asserted-by“：”crossref“，”非结构化“：”威廉·科茨（William Coates）、乔恩·莱克索（Jon Lexau）、伊恩·琼斯（Ian Jones）、斯科特·费尔班克斯（Scott Fairbanks）和伊凡·萨瑟兰（Ivan Sutherland）。FLEETzero：一个异步切换实验。第七届异步电路和系统高级研究国际研讨会论文集，盐湖城，2001年3月。”，“DOI”：“10.1109\/ASYNC.2001.914081”}，{“key”：“26_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“亨克下士和汉斯·穆德。MOVE：高性能处理器设计的框架。安妮·科普兰德·麦克卡勒姆（Anne Copeland MacCallum），编辑，《第四届超级计算年会论文集》，第692\u2013701页，美国新墨西哥州阿尔伯克基，1991年11月。IEEE计算机学会出版社。“，”DOI“：”10.1145\/125826.126159“}，{”key“：”26_CR7“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，”first page“：“40”，“DOI”：“10.1007\/3-540-48523-6_4”，“volume-title”：“低级编程语言的类型结构”，“author”：“K.Crary”，“year”：“1999”，“unstructured”：“”卡尔·克莱里和格雷格·莫里塞特。低级编程语言的类型结构。计算机科学课堂讲稿，1644:40\u2013--，1999.“}，{“key”：“26_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Werner Damm和Amir Pnueli.验证无序执行。李洪平和David K。Probst，编辑，《硬件设计和验证的进展：IFIP WG10.5正确硬件设计和检验方法国际会议（CHARME）》，第23\u201347页，加拿大蒙特利尔，1997年10月。查普曼和霍尔。“，”DOI“：”10.1007\/978-0-387-35190-2_3“}，{”key“：”26_CR9“，”unstructured“：”Philip B.Endecott。SCALP:A Superscalar Asynchronous Low-Power Processor。博士论文，曼彻斯特大学计算机科学系，1996年2月。“}”，{“key”：“26_CR10”，“DOI-asserted-by”：“crossref”，“unstructure”：“Uffe H。Engberg和Glynn Winskel。Petrinets上的线性逻辑。技术报告RS-94-3，BRICS，丹麦奥尔胡斯，1994年。“，“DOI”：“10.7146\/BRICS.v1i3.21667”}，{“key”：“26_CR11”，“unstructured”：“Michael J.Flynn.计算机体系结构：流水线和并行处理器设计。Jones&Bartlett Publishing，1995年。”}、{“密钥”：“26 _CR12”，“DOI-asserted-by”：“crossref”，“非结构化”：“Stephen N.Freund and John C。米切尔。javatm字节码语言中用于对象初始化的类型系统。《第13届面向对象编程、系统、语言和应用会议论文集》（OOPSLA-98），ACM SIGPLAN通知第33卷、第10卷，纽约，1998年。ACM出版社。“，”DOI“：”10.1145\/286936.286972“}，{”key“：”26_CR13“，”DOI-asserted-by“：”crossref“，”unstructured“：”Stephen N.Freund和John C.Mitchell.Java字节码语言和验证器的正式框架。《面向对象编程、系统、语言和应用会议论文集》，第147\u2013166页，1999年。“DOI”：“10.1145 \/320384.320397“}，{“key”：“26_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“J.D.Garside，S.B.Furber，and S.H.Chung.AMULET3 reved.In Proc.International Symposium on Advanced Research In Asynchronous Circuits and Systems，pages 51\u201359，April 1999”，“doi”：“10.1109 \/ASYNC.1999.761522”}，}，“key“：”26_CR15“，“doi-asserted-by”：”crossref”，“非结构化”：“D.A.Gilbert和J.D.Garside。异步流水线系统的结果转发机制。程序中。异步电路和系统高级研究国际研讨会，第2页\u201311。IEEE Computer Society Press，1997年4月。“，”DOI“：”10.1109\/ASYNC.1997.587137“}，{“key”：“26_CR16”，“DOI-asserted-by”：“publisher”，“首页”：“1”，“DOI”：“10.1016\/0304-3975（86）90018-6”，“卷”：“46”，“作者”：“J.-Y.Girard”，“年份”：“1986”，“非结构化”：“Jean-Yves Girard.线性逻辑.理论计算机科学，46:1\u20131021986。”，“，”日志标题“：”理论计算机科学“}，{“key”：“26_CR17”，“volume-title”：“计算机体系结构：定量方法”，“author”：“J.L.Hennessy”，“year”：“1996”，“unstructured”：“John L.Hennessy和David A.Patterson。计算机体系结构，定量方法。Morgan Kaufmann，San Mateo，CA，第二版，1996。”，“edition”：“second edition”}，}“key:”26_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Martin Hofmann“。用于有界空间和函数就地更新的类型系统。在《欧洲编程研讨会论文集》（ESOP），柏林，2000年。“，”DOI“：”10.1007\/3-540-4462_5_11“}，｛”key“：”26_CR19“，”系列标题“：”Lect Notes Comput Sci“，”DOI断言“：”出版商“，”首页“：”47“，”DOI“：”10.1007\/3-540-448683-6_7“，”卷标题“：”计算机辅助验证，CA V\u2019 99“，”作者“：”R.Hosabettu“，”年份“：”1999“，”非结构化”：“拉维·霍萨贝图（Ravi Hosabettu）、曼达亚姆·斯利瓦斯（Mandayam Srivas）和加内什·戈帕拉克里什南（Ganesh Gopalakrishnan）。使用完成函数方法证明具有重排序缓冲区的处理器的正确性。Nicolas Halbwachs和Doron Peled，《计算机辅助验证》编辑，CA V\u2019 99，《计算机科学讲义》第1633卷，第47页\u201359，意大利特伦托，1999年7月。斯普林格·弗拉格。“}，{”key“：”26_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Shin-ya Katsumata和Atsushi Ohori.低级代码的校对定向反编译。收录于《欧洲程序设计研讨会（ESOP）论文集》，Genova，2001年。“，”doi“：”10.1007\/3-540-45309-1_23“}小林直树。准线性类型。第26届编程语言原理研讨会论文集POPL\u201999，ACM SIGPLAN通知，美国纽约州纽约市，1999年。ACM出版社。“，”DOI“：”10.1145\/292540.292546“}，{”key“：”26_CR22“，”DOI-asserted-by“：”crossref“，”unstructured“：”Alain J.Martin、Andrew Lines、Rajit Manohar、Mika Nystroem、Paul Penzes、Robert Southworth和Uri Cummings。异步MIPS R3000微处理器的设计。《超大规模集成电路高级研究》，第164\u2013181页，1997年9月。“，”10.1109\/ARVLSI.1997.634853“}，{“key”：“26_CR23”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”28“，“doi”：“10.1007\/BFb0055511”，“volume-title”：”基于堆栈的类型汇编语言“，”author“：”G.Morrisett“，”year“：”1998“，”非结构化“：”Greg Morrisett、Karl Crary、Neal Glew和David Walker。基于堆栈的类型化汇编语言。计算机科学课堂讲稿，1473:28\u2013--，1998。“}，{“key”：“26_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Peter D.Mosses.语义、模块化和重写逻辑.理论计算机科学电子笔记，15，1998。”，“doi”：“10.1016\/S1571-0661（05）80026-X”}Jon Mountjoy、Pieter Hartel和Henk下士。传输触发架构的模块化操作语义规范。程序中。第13届IFIP WG 10.5计算机硬件描述语言及其应用会议，第260\u2013279页，西班牙托莱多，1997年4月。查普曼和霍尔，伦敦。“，”DOI“：”10.1007\/978-0-387-35064-6_22“}，{”key“：”26_CR26“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，”first page“：“”逻辑抽象机器：机器代码的咖喱霍华德同构。第四届富士函数与逻辑编程国际研讨会论文集（FLOPS\u201999），计算机科学讲义，LNCS 1722，第300\u2013318页。Springer，1999.“}，{“key”：“26_CR27”，“unstructured”：“Gordon Plotkin.操作语义的结构方法.技术报告DAIMI FN-19，奥胡斯大学计算机科学系，1981年9月.”}，“key“：”26_CR28“，“series-title”：“Lect Notes Compute Sci”，“volume-title”：《Petri网讲座I：基本模型》，“author”：“W.Reisig”，“年：“1998”，“非结构化”：“Wolfgang Reisig和Grzegorz Rozenberg。Petri网讲座I：基本模型。计算机科学讲义1491。Springer，1998.“}，{”key“：”26_CR29“，”doi-asserted-by“：”crossref“，”unstructured“：”Raymie Stata and Mart\u2019？n Abadi.Java字节码子程序的类型系统。摘自第25届编程语言原理研讨会论文集POPL\u201998，第149\u2013160页。ACM出版社，1998年。“，”DOI“：”10.1145\/268946.268959“}，{”key“：”26_CR30“，”DOI-asserted-by“：”publisher“，”first page“：“25”，“DOI”：“10.1147\/rd.111.0025”，“volume”：“11”，“author”：“R.M.Tomasulo”，“year”：“1967”，“unstructured”：“R M。托马苏罗。一种利用多个算术单元的高效算法。IBM研究与开发杂志，11:25\u2013331967年1月。“，“Journal-title”：“IBM研究与发展杂志”}，{“key”：“26_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“David N。特纳、菲利普·沃德勒和克里斯蒂安·莫辛。从前有一种类型。2019年7月，功能编程与计算机体系结构国际会议，第1页，2013年11月，加利福尼亚州拉荷亚，1995年6月。ACM出版社。“，”DOI“：”10.1145\/224164.224168“}]，”container-title“：[”计算机科学讲义“，”计算机软件理论方面“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-45500-0_26“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“存放“：{“date-parts”：[[2019,5,4]]，“date-time”：“2019-05-04T00:54:56Z”，“timestamp”：1556931296000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/3-540-45500-0_26“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2001]]}，《ISBN》：[“9783540424 7360“，”9783540455004“]，”references-count“：31，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-45500-0_26“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”值“：”0302-7743“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[2001]]}}}