安德烈·阿鲁索艾；多雷尔·卢卡努；弗拉德·鲁苏；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·特夫内斯库；格里高·罗什乌 语言定义是重写理论。 （英语） Zbl 1356.68115号 圣地亚哥·埃斯科瓦尔（编辑），《重写逻辑及其应用》。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记866397-112（2014）。 摘要：（\mathbb{K}）是一个定义编程语言操作语义的正式框架。它包括用于将（mathbb{K}）语言定义编译为Maude重写理论的软件工具，用于根据Maude改写引擎以定义的语言执行程序，以及通过使用各种Maude分析工具分析程序。（mathbb{K}）工具套件的最新扩展是语言定义的自动转换，它支持程序的符号执行，即使用符号输入执行程序。本文研究了（mathbb{K}）语言定义及其对Maude的翻译之间的理论关系，（mathbb{K}\）定义的符号扩展及其Maude编码之间的关系，以及定义及其符号扩展反映在它们各自在莫德的表示上。这些结果特别显示了Maude的分析是如何进行的工具可以正式提升到原始语言定义。有关整个系列，请参见[Zbl 1318.68016号]. 引用于三文件 MSC公司： 2012年第68季度 语法和重写系统 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 软件：莫德；K校准仪 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人，Lect。票据计算。科学。8663，97-112（2014；Zbl 1356.68115） 全文： 内政部