希尔斯，马克 重写逻辑语义定义中的内存表示。 （英语） Zbl 1347.68196号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，155-172（2009）。 摘要：重写逻辑的可执行性使其成为语言设计和实验的一个引人注目的环境；用语言语义直接解释程序的能力保证了定义的正确性和语言功能的协同工作。然而，这种可执行性对语言语义提出了新的问题，这些问题对于不可执行的定义来说不一定有意义。例如，语义的性能突然变得很重要，而不仅仅是基于语义的语言解释器或编译器，必须仔细选择表示，以确保直接在语言定义中执行程序仍然可行。不幸的是，其他语义形式中常见的许多明显表示可能会导致性能低下，包括那些用于表示程序内存的表示。本文描述了两种不同的用于提高性能的内存表示：第一种已被充分开发，旨在用于命令式程序，而第二种仍在开发中，旨在用于各种语言，特别是纯面向对象语言。对每种表示进行了描述，并与语言语义中使用的初始表示进行了比较，还提出了重用的思想。关于整个系列，请参见[Zbl 1279.68017号]. MSC公司： 2012年第68季度 语法和重写系统 68甲15 编程语言理论 68问题55 计算理论中的语义学 关键词：重写逻辑；程序设计语言语义；性能 软件：莫德；爪哇风扇；GC公司；K校准仪；KOOL公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Hills}，电子。注释Theor。计算。科学。238，第3号，155--172（2009；Zbl 1347.68196） 全文： DOI程序 参考文献： [1] Blanchet，B.，面向对象语言的转义分析：对Java的应用，（OOPSLA’99会议录（1999），ACM），20-34 [2] 布拉加，C。；Meseguer，J.，《实践中的模块化重写语义》，《WRLA’04会议录》。WRLA’04论文集，ENTCS，117393-416（2005），爱思唯尔·Zbl 1272.68168号 [3] Cervesato，I。；Stehr，M.-O.，《在具有依赖类型的重写逻辑扩展中表示MSR密码协议规范语言》，《WRLA’04学报》。WRLA’04会议记录，ENTCS，117（2004）·兹比尔1115.68073 [4] Chalub，F。；Braga，C.，《CML的模块化重写语义》，《通用计算机科学杂志》，10，7，789-807（2004年7月） [5] F.Chen、M.Hills和G.Rošu。面向对象语言的语义定义、设计和分析的重写逻辑方法。伊利诺伊大学香槟分校UIUCDCS-R-2006-2702技术报告，2006年；F.Chen、M.Hills和G.Rošu。面向对象语言的语义定义、设计和分析的重写逻辑方法。伊利诺伊大学香槟分校UIUCDCS-R-2006-2702技术报告，2006年 [6] Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；Martí-Oliet，北卡罗来纳州。；梅塞盖尔，J。；Quesada，J.，Maude:重写逻辑中的规范和编程，《理论计算机科学》，285187-243（2002）·Zbl 1001.68059号 [7] Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；Martí-Oliet，北卡罗来纳州。；梅塞盖尔，J。；Talcott，C.，《莫德2.0系统》（The Maude 2.0 System），《RTA’03会议录》。RTA’03会议录，LNCS，第2706卷（2003），Springer），76-87·Zbl 1038.68559号 [8] 达阿莫林，M。；Rošu，G.，Scheme语言的方程规范，《通用计算机科学杂志》，11，7，1327-1348（2005） [9] Farzan，A。；陈，F。；梅塞盖尔，J。；Rošu，G.，JavaFAN中Java程序的形式化分析，（CAV’04会议录）。CAV’04会议录，LNCS，第3114卷（2004），Springer），501-505·Zbl 1103.68611号 [10] Farzan，A。；Meseguer，J.，重写编程语言语义的部分降阶，WRLA’06会议录。WRLA’06会议记录，ENTCS，176，61-78（2007），Elsevier·Zbl 1279.68207号 [11] Farzan，A。；梅塞盖尔，J。；Rošu，G.，JavaFAN中的形式化JVM代码分析，（AMAST'04会议录）。AMAST’04会议录，LNCS，第3116卷（2004），Springer），132-147·Zbl 1108.68382号 [12] 希尔斯，M。；⑩erb&abreve；努ţ&abreve；，T.F.公司。；Rošu，G.，《语言定义和高效口译员生成的重写框架》，《WRLA’06会议录》。WRLA’06会议记录，ENTCS，176，215-231（2007），Elsevier·Zbl 1279.68116号 [13] 希尔斯，M。；Rošu，G.，KOOL:重写逻辑在语言原型和分析中的应用，（RTA’07会议录）。RTA’07会议录，LNCS，第4533卷（2007），Springer），246-256 [14] 希尔斯，M。；Rošu，G.，《使用重写逻辑对OO语言进行形式分析：为性能而设计》（FMOODS’07会议录）。FMOODS’07会议录，LNCS，第4468卷（2007），Springer），107-121 [15] 希尔斯，M。；Rosu，G.，FSL语义研究主页 [16] 约翰森，E.B。；Owe，O。；Axelsen，E.W.，具有异步方法调用的并发对象的运行时环境，WRLA’04论文集。WRLA’04会议记录，ENTCS，117（2004），Elsevier·Zbl 1272.68186号 [17] Jones，R。；Lins，R.，《垃圾收集：自动动态内存管理算法》（1996），John Wiley&Sons，Inc.：John Wiley&Sons，Inc.美国纽约州纽约市·Zbl 0945.68508号 [18] M.Katelman和J.Meseguer。ABEL的重写语义及其在软硬件协同设计和分析中的应用。在WRLA’06会议记录; M.Katelman和J.Meseguer。ABEL的重写语义及其在硬件/软件协同设计和分析中的应用。在WRLA’06会议记录·Zbl 1279.68189号 [19] P.Meredith、M.Hills和G.Rošu。K-Scheme的可执行重写逻辑语义。编辑D.Dube，2007年方案和函数编程研讨会会议记录; P.Meredith、M.Hills和G.Rošu。K-Scheme的可执行重写逻辑语义。编辑D.Dube，2007年方案和函数编程研讨会会议记录 [20] 梅塞盖尔，J。；《重写逻辑语义学：从语言规范到形式分析工具》，罗什·u，G.著，《IJCAR’04会议录》。《IJCAR’04会议录》，LNAI，第3097卷（2004年），施普林格出版社，1-44·Zbl 1126.68464号 [21] 梅塞盖尔，J。；Rosu，G.，重写逻辑语义项目，理论计算机科学。理论计算机科学，SOS’05。理论计算机科学。理论计算机科学，SOS’05，ENTCS，156，1，27-56（2006），也出现在·Zbl 1273.68211号 [22] Park，Y.G。；Goldberg，B.，《列表逃逸分析》（1992年《PLDI学报》，美国医学会），116-127 [23] G.罗苏。K： 模块化语言设计、语义、分析和实现的基于重写的框架。技术报告UIUCDCS-R-2006-2802，伊利诺伊大学厄本那-香槟分校计算机科学系，2006年；G.罗苏。K： 模块化语言设计、语义、分析和实现的基于重写的框架。技术报告UIUCDCS-R-2006-2802，伊利诺伊大学厄本那-香槟分校计算机科学系，2006年 [24] 斯特尔，M.-O。；Cervesato，I。；Reich，S.，MSR密码协议规范语言的执行环境 [25] 斯特尔，M.-O。；Talcott，C.，《Maude的PLAN：指定主动网络编程语言》，《WRLA’02会议录》。WRLA’02会议记录，ENTCS，117（2002），Elsevier [26] 经理Stehr。；Talcott，C.L.，《语言设计和原型制作实用技术》（Dagstuhl全球计算基础研讨会05081摘要集（2005）） [27] Ungar，D。；Jackson，F.，基于发电的存储回收的保有政策，（OOPSLA’88会议记录（1988）），1-17 [28] Ungar，D。；Jackson，F.，《世代清除剂的适应性使用权政策》，ACM TOPLAS，14，1，1-27（1992） [29] A.Verdejo。Maude como marco semántico可执行; A.Verdejo。Maude como marco semántico可执行 [30] Verdejo，A。；Martí-Oliet，N.，《Maude 2实施CCS》，《WRLA’02会议录》。WRLA’02会议记录，ENTCS，117（2002），Elsevier 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。