K-莫德

K-MADUD:一种基于改写的编程语言语义工具。K是一个基于改写的框架,用于定义编程语言。K-MODUD是Maude上实现K的工具。K-Mod提供了一个接口,接受K模块以及正则Maude模块,以及将K语言定义转化为Maude重写理论用于执行或分析的工具集合,或者将其转换成用于文档目的的胶乳。目前的K-Maod原型成功地用于定义多种语言和语言分析工具,用于研究和教学目的。本文介绍了K-MADUD工具,无论是从用户和实施者的角度。