克莫德

基于mauk-de语言重写工具。K是一个基于重写的框架,用于定义编程语言。K-Maude是在Maude之上实现K的工具。K-Maude提供了一个接受K模块和常规Maude模块的接口,以及一组工具,用于将K语言定义转换为Maude重写理论以供执行或分析,或转换为用于文档目的的LaTeX。目前的K-Maude原型成功地用于定义多种语言和语言分析工具,无论是用于研究还是用于教学。本文从用户和实现者的角度描述了K-Maude工具。