代数规范说明的实现

摘要

cqvip:代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。