基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、,临时变量、特殊赋值语句以及循环语句等引发的多样性问题.
推荐文章
C语言程序评测方法研究
C语言
程序切片
程序评测
Mallat算法分析及C语言实现
一维离散小波变换
Mallat算法
程序设计
计算思维与C语言程序设计
C语言
程序设计
计算思维
逻辑
C语言在CGI程序设计中的应用
C语言
CGI程序
设计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 C语言小程序算法的表示
来源期刊 天津理工大学学报 学科 工学
关键词 算法的表示 算法多样性 单变量访问流图 变量源变量列表 算法规格化
年,卷(期) 2011,(3) 所属期刊栏目
研究方向 页码范围 33-36
页数 分类号 TP311.5
字数 3238字 语种 中文
DOI 10.3969/j.issn.1673-095X.2011.03.009
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郭宝红 天津理工大学计算机与通信工程学院 17 110 7.0 10.0
2 彭旭东 天津理工大学计算机与通信工程学院 8 14 2.0 3.0
3 李婧 天津理工大学计算机与通信工程学院 3 9 2.0 3.0
4 王成霞 天津理工大学计算机与通信工程学院 6 22 3.0 4.0
5 樊丽珍 天津理工大学计算机与通信工程学院 2 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (5)
节点文献
引证文献  (3)
同被引文献  (3)
二级引证文献  (3)
1988(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(2)
  • 引证文献(1)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
算法的表示
算法多样性
单变量访问流图
变量源变量列表
算法规格化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
天津理工大学学报
双月刊
1673-095X
12-1374/N
大16开
天津市西青区宾水西道391号
1984
chi
出版文献量(篇)
2405
总下载数(次)
4
总被引数(次)
13943
论文1v1指导