樊丽珍
- 作品数：3 被引量：3H指数：1
- 供职机构：天津理工大学计算机与通信工程学院更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- C语言小程序算法的表示被引量：3
- 2011年
- 在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、临时变量、特殊赋值语句以及循环语句等引发的多样性问题.
- 彭旭东郭宝红王成霞李婧樊丽珍
- 用抽象语法链表示C程序中的表达式
- 2011年
- 因为缺少解释器,对程序进行自动分析和测试领域中有很多问题难以解决.设计解释器的一个核心问题是如何表示表达式,使其既便于人工检查也便于计算机自动生成和解释执行表达式.传统的表示方式主要针对编译器进行设计,不适合解释器.为此,综合运算符的特性和常见表示方法的优缺点,提出用抽象语法链EOE*表示表达式,给出了相应的提取和解释执行算法,并成功应用于本项目组开发的解释器中.
- 彭旭东王成霞樊丽珍郭宝红李婧
- 关键词：解释器
