王稚慧 李辛 吕旭 章绵

属性文法 属性计算 布尔差分 实例数据 开关函数 生成式 程序结构 递归子程序 属性产生式 抽象数据类型 不变式 时序电路 多通路 用户定义抽象数据类型 产生器 定义语言 波形法 通路敏化 波形字 程序验证 面向过程 模拟算法

华北计算技术研究所 哈尔滨工业大学 电子科学研究院