C程序
C程序的相关文献在1989年到2022年内共计381篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、机械、仪表工业
等领域,其中期刊论文261篇、会议论文7篇、专利文献88792篇;相关期刊196种,包括科技创新导报、科技信息、电子测试等;
相关会议7种,包括2005’全国软件与应用学术会议(NASAC)、测控、计量与仪器学术年会、'01全国仿真技术学术会议等;C程序的相关文献由731位作者贡献,包括许芝卉、彭金辉、栅木胜博等。
C程序—发文量
专利文献>
论文:88792篇
占比:99.70%
总计:89060篇
C程序
-研究学者
- 许芝卉
- 彭金辉
- 栅木胜博
- 梁松涛
- 津坂浩行
- 稻垣达彦
- 穆佩红
- 辻村和弘
- 刘步权
- 焦玉勇
- 陈钢
- G·诺特德福特
- H-J·施密德
- K·鲍尔
- M·多纳泽尔
- M·拜尔-默勒
- S·布兰特
- T·沃尔夫
- 丁丽丽
- 万军杨
- 三桥进
- 中村隆之
- 于睿
- 何宁
- 佘庆
- 入口健二
- 刘庆想
- 刘泉声
- 刘耀源
- 刘雯雯
- 刘鹏
- 南云健介
- 卢昊
- 史册
- 史婉玉
- 史建琦
- 吉明鹏
- 吕耀辉
- 吴小虎
- 吴敬征
- 吴春光
- 吴朗
- 吴璇
- 周吉样
- 周广武
- 周敏
- 周磊
- 周青华
- 姚勇政
- 季益龙
-
-
-
王国隆;
金大海;
宫云战
-
-
摘要:
随着C++语言标准的不断演进,词法语法解析工具如JavaCC等对于很多扩充的新特性以及复杂的语法结构不能做到完全支持,这可能会导致抽象语法树生成错误且不完整;针对这一问题,提出一个针对抽象语法树生成错误的处理框架;首先,通过对JavaCC的扩充,实现一套可以解析C++语言的词法语法分析器,生成抽象语法树并记录报错行;其次,根据报错行寻找所在函数区间即不支持或不匹配的语法片段;最后,通过注释函数区间的方式来跳过不支持或不匹配的语法片段进行错误处理并迭代生成抽象语法树;实验结果表明,对抽象语法树生成进行错误处理后可以更全面的分析代码,抽象语法树完成率上升37.8%,分析行数提高3.9倍。
-
-
臧伟旺;
朱健
-
-
摘要:
文章主要以雷达系统软件安全为背景,首先提出了从C程序到基于一阶逻辑的形式模型的总体转换方法,通过定义辅助运算子,给出从C程序到形式模型保持语义一致的映射规则,对C程序的核心结构如赋值语句、条件语句、循环语句以及函数结构进行了规约,从而得到可执行的形式模型。最后,给出一个典型的C程序案例,应用转换规则生成了对应的形式模型,验证了转换方法的有效性。
-
-
-
邢亮;
丁成钧;
杜虎鹏;
马春燕
-
-
摘要:
聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。
-
-
-
张琦;
刘一辰
-
-
摘要:
C语言广泛应用于嵌入式软件和系统软件的开发,它提供了更直接的底层内存控制,但却缺少对内存访问安全性的检测,导致C程序运行时可能产生内存安全性错误。当前,开发人员力求通过多种验证技术解决内存安全性错误,最常用的是运行时验证技术。文章首先对C程序常见的内存安全性错误进行分析,然后介绍几种相关的内存分析技术,最后分别对几种常用的C程序内存安全性检测工具进行介绍和比较,为接下来的研究工作提供了方向性参考。
-
-
-
-
李凤岭
-
-
摘要:
随着计算机技术的迅速推广,在程序开发中,C语言变得更为盛行,能够应用于系统及应用软件的开发设计,同时,对于计算机来说,数学也尤为重要,能够决定计算机程序的质量.因此,本文主要是从C语言的特点、C语言和数学方法直接的关系、数学方法在C语言中的具体应用以及多种数学方法在C语言程序中的应用等方面进行阐述,旨在说明不同的数学算法对同一个程序有不同的影响,可以探求最优的数学算法,来提高程序的质量和效率.
-
-
郭聪宾;
金茂忠;
刘超;
连舒明
- 《2005’全国软件与应用学术会议(NASAC)》
| 2005年
-
摘要:
在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.
-
-
郭聪宾;
金茂忠;
刘超;
连舒明
- 《2005’全国软件与应用学术会议(NASAC)》
| 2005年
-
摘要:
在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.
-
-
郭聪宾;
金茂忠;
刘超;
连舒明
- 《2005’全国软件与应用学术会议(NASAC)》
| 2005年
-
摘要:
在类属编程(GenericProgramming)以及科学计算领域中,C++中的模板愈发显示出其不可替代的作用.但是模板也进一步增加了C++语法的复杂度.由于模板的广泛应用,对支持模板分析的分析器的需求也日益增强.因此必须要解决模板分析中的几个难点.本文针对难点之一:类模板偏特化(partialspecialization)匹配问题,提出了一种行之有效的算法,并在JohnLilley的C++分析器基础上实现了该算法.最后给出了该算法实际应用的效果,并与相关工作进行了比较.
-
-
徐新河;
陈光(衤禹);
谢永乐
- 《测控、计量与仪器学术年会》
| 2004年
-
摘要:
数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.
-
-
徐新河;
陈光(衤禹);
谢永乐
- 《测控、计量与仪器学术年会》
| 2004年
-
摘要:
数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.
-
-
徐新河;
陈光(衤禹);
谢永乐
- 《测控、计量与仪器学术年会》
| 2004年
-
摘要:
数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.
-
-
徐新河;
陈光(衤禹);
谢永乐
- 《测控、计量与仪器学术年会》
| 2004年
-
摘要:
数字系统中可测性的测度是表征电路可测难易程度的一个量.可测性包括可控性和可观测性.这里主要讨论可控性算法以及相应的C++程序设计思想,最终的目标是对于任意给定的一个数字电路,可通过运行编写的程序,得到电路任意一节点的可控性值.
-
-
蒋志文
- 《'01全国仿真技术学术会议》
| 2001年
-
摘要:
该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.
-
-
蒋志文
- 《'01全国仿真技术学术会议》
| 2001年
-
摘要:
该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.
-
-
蒋志文
- 《'01全国仿真技术学术会议》
| 2001年
-
摘要:
该文介绍了YHSIM语言的特点,描述了YHSIM仿真程序与外部C程序及经验函数一起进行编译与连接的工作流程;描述了在YHSIM仿真程序调用C程序的实现方法,包括,在C函数的传值和传地址的形式参数如何编写,在YHSIM程序中参数如何说明,如何调用C函数,如何设置YHSIM的编译与连接选项等等.