Rewriting logic的意思|示意
美 / /
英 / /
重写逻辑
Rewriting logic的网络常见释义
重写逻辑 11],实时Maude是一种基于重写逻辑(rewriting logic)的实时系统建模语言,在转换方面,研究子集和转换规则主要采用自然语言进行描述.