动态项重写计算相关论文
本文介绍了关于项重写系统研究的最新课题和动态项重写计算的基本理论。以C语言的一个核心子集为代表，初步探讨了从过程型语言到D，TR......
1.引言项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、......
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重......
