期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种对PROLOG进行矛盾检测的算法
1
作者
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990年第3期95-99,共5页
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
关键词
检测
工具
PROLOG
软件工程
软件测试
矛盾检测算法
逻辑程序设计语言
下载PDF
职称材料
一种新的PROLOG检测算法的设计与实现
2
作者
黄明
刘扬
《工业工程》
1999年第4期51-52,53,共3页
介绍了PROLOG检测算法的研究现状, 针对PROLOG 语言的特点, 提出了一种对PROLOG进行检测的新算法, 并用C语言实现了该算法。对TurboPROLOG系统盘进行了剖析, 该算法作为一种PROLOG检测工具...
介绍了PROLOG检测算法的研究现状, 针对PROLOG 语言的特点, 提出了一种对PROLOG进行检测的新算法, 并用C语言实现了该算法。对TurboPROLOG系统盘进行了剖析, 该算法作为一种PROLOG检测工具已被合并到TurboPROLOG系统盘中。
展开更多
关键词
PROLOG
检测
算法
C语言
矛盾检测算法
下载PDF
职称材料
题名
一种对PROLOG进行矛盾检测的算法
1
作者
黄明
杨大志
李宪章
机构
吉林工学院计算机及电子工程系
出处
《吉林工学院学报(自然科学版)》
1990年第3期95-99,共5页
基金
青年科技基金项目"PROLOG语言检测工具"的一个子项
文摘
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
关键词
检测
工具
PROLOG
软件工程
软件测试
矛盾检测算法
逻辑程序设计语言
Keywords
testing
PROLOG
algorithm
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种新的PROLOG检测算法的设计与实现
2
作者
黄明
刘扬
机构
大连理工大学
大连铁道学院计算机系
大连铁道学院教务处
出处
《工业工程》
1999年第4期51-52,53,共3页
基金
铁道部基金!222001
文摘
介绍了PROLOG检测算法的研究现状, 针对PROLOG 语言的特点, 提出了一种对PROLOG进行检测的新算法, 并用C语言实现了该算法。对TurboPROLOG系统盘进行了剖析, 该算法作为一种PROLOG检测工具已被合并到TurboPROLOG系统盘中。
关键词
PROLOG
检测
算法
C语言
矛盾检测算法
Keywords
PROLOG
debugging
algorithm
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种对PROLOG进行矛盾检测的算法
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990
0
下载PDF
职称材料
2
一种新的PROLOG检测算法的设计与实现
黄明
刘扬
《工业工程》
1999
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部