可逆重构相关论文
信息社会的快速发展对通信效率及信息处理速度提出更苛刻的要求,传统集成电路已达到发展瓶颈,高效低损耗的微纳光学器件或将替代集......
提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用......
