类C语言

作品数：11被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：朱晓冉郭建钟志超史金飞张志胜更多>>
相关机构：东南大学安徽大学华东师范大学武汉大学更多>>
相关期刊：《计算机研究与发展》《开放系统世界》《计算机技术与发展》《南京晓庄学院学报》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于类C语言内存模型的复杂数据结构验证方法
《计算机技术与发展》2024年第8期57-66,共10页李薛剑 王俊宜 
安徽省自然科学基金面上项目(2008085MF188)。
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础...
关键词：形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核 
面向FPGA设计的类C语言及其关键技术研究被引量：1
《网络安全技术与应用》2017年第8期50-52,共3页董亚卓 常歌 
国家自然科学基金项目60903057资助
类C语言自提出起来,已经取得了丰硕的研究成果。本文详细论述了类C语言的特点、发展历程,分析了所有类C语言设计中面临的关键技术问题,并对几种类C语言进行了比较说明。类C语言作为一种能同时实现软硬件描述的语言,其执行效果并不尽如人...
关键词：类C语言 FPGA 编译 
一种用于类C语言环境的安全的类型化内存模型被引量：3
《计算机研究与发展》2012年第11期2440-2449,共10页何炎祥 吴伟 陈勇 李清安 刘健博 
国家自然科学基金项目(90818018;91018009)
使用形式化方法对程序进行验证是保证软件可信的重要手段.对于像C语言这样的较低级的命令式语言可以直接对内存进行操作,对其操作语义或公理语义的形式化需要基于合适的内存模型.传统的字节内存模型可以很好地描述各种内存操作,但是无...
关键词：操作语义 形式化验证 内存模型 霍尔逻辑 内存安全 
一种类C语言编程环境的设计与实现被引量：1
《软件导刊》2011年第6期39-41,共3页曹源 
针对通用型教育机器人,设计了一套类C语言编程环境。定义了一套完整的类C语言及其语法规范,设计了类C语言编程界面,同时,实现了编辑器的语法高亮、自动对齐等辅助功能,具有良好的使用效果。
关键词：类C语言 编程环境 语法高亮 
一种改进的词法分析程序及其类C语言实现
《安庆师范学院学报（自然科学版）》2009年第4期36-38,42,共4页杨超 王一宾 
本文提出一种改进的词法分析程序设计思想,并进行了实现。首先定义四类字符集,构造状态转换矩阵。然后通过对给定文法的分析,化简变换状态转换矩阵使之成为程序可直接使用的二维数组Status。最后利用二维数组Status给出了核心函数get Wo...
关键词：词法分析 字符集 状态转换矩阵 
流程图与类C语言实时转换方法被引量：8
《东南大学学报（自然科学版）》2009年第3期502-507,共6页钟志超 张志胜 戴敏 曹杰 史金飞 
国家自然科学基金资助项目(50805023)
为了融合图形化和文本语言2种编程方式的优点,提高教育机器人编程平台的直观性和通用性,结合编程平台要求,设计出流程图与类C语言双向实时转换方法.在进行流程图到类C语言转换时,实时根据各个模块间的父子关系遍历模块树,并根据功能模...
关键词：流程图 类C语言 XML 实时转换 
小型跨平台类C语言的设计与实现
《南京晓庄学院学报》2009年第3期78-81,共4页曲波 
文章阐述了小型跨平台类C语言CC的设计与实现.CC语言类似于C语言的子集,语法与C语言十分接近;目标代码采用RICS类型指令系统结构,使用栈式虚拟机解释执行;具有常用的多种数据类型,具备跨平台功能,适于做编译系统课程的教学语言.CC语言...
关键词：编译原理教学语言 类C语言 跨平台程序设计语言 RISC指令系统 栈式虚拟机 
面向教学的类C编译器的设计与实现被引量：2
《福建师范大学学报（自然科学版）》2008年第6期29-33,共5页邹昌伟 
设计并实现了一个面向教学的类C编译器,支持全局或局部变量的定义、函数参数传递和函数递归调用.为避免对实际硬件体系结构的依赖,采用了Java语言的设计思想,类C编译器实现了先编译后解释执行的设计方案,同时给出了比文法更为直观的类C...
关键词：编译器 面向教学 类C语言 
类C语言词法分析器的设计与实现
《软件导刊》2006年第11期85-86,共2页胡慧 张海 余玛俐 
用Visual Basic实现对C的子集程序设计语言的词法分析,用直观简洁的方式对复杂的构词方法和高级语言规则进行解释。
关键词：词法分析器 C语言 编译过程 
Linux下的类C语言编程
《开放系统世界》2005年第3期71-74,共4页杨国强 
Linux的发行版中包含有很多软件开发工具，其中很多是用于C和C++应用程序开发的。下面简单介绍一下如何在Linux下使用C语言编译器和其它C语言编程工具。
关键词：C语言 程序设计 编译器 LINUX 操作系统 应用程序 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部