规则终止性相关论文
提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图.这种基于进化图的分析方法比传统基于图的分析......
提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采......
