程序语言

作品数：1337被引量：738H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙永强梅宏陈火旺郑国梁金成植更多>>
相关机构：电子科技大学北京大学国防科学技术大学哈尔滨工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机科学中的范畴数据类型的研究综述被引量：3
《计算机科学》2016年第10期9-18,39,共11页苏锦钿 
广东省自然科学基金(2015A030310318);广东省医学科学技术研究基金项目(A2015065);国家自然科学基金资助项目(61103038)资助
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数...
关键词：数据类型 范畴论 代数 共代数 逻辑演算 程序语言 
程序语言中共归纳数据类型的一种fibrations方法被引量：2
《计算机科学》2016年第3期188-192,212,共6页苗德成 奚建清 戴经国 苏锦钿 
国家自然科学基金项目(61103038);广东省自然科学基金项目(S2013010015944);广东省战略性新兴产业核心技术攻关项目(2011A010801008;2012A010701011;2012A010701003);韶关市科技计划项目(2013CX/K61)资助
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足。针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究。该方法系统分析...
关键词：语义行为 共归纳规则 fibrations方法 共归纳数据类型 提升 
软件测试理论初步框架被引量：23
《计算机科学》2014年第3期12-16,35,共6页王蓁蓁 
国家自然科学基金项目(61170071);金陵科技学院科研基金(jit-b-201207)资助
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种...
关键词：软件测试 软件度量 程序语言 随机测试 
程序语言中的共归纳数据类型及其应用被引量：11
《计算机科学》2011年第11期114-118,共5页苏锦钿 余珊珊 
2010年高校博士点科研基金-新教师类(20100172120043);华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先,...
关键词：归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数 
科学计算程序语言的浮点数机制研究被引量：7
《计算机科学》2008年第4期285-287,291,共4页王力 
浮点数运算存在精度方面、比较方面以及舍入误差等方面的问题,而这些问题直接影响到科学计算的准确性、可靠性和安全性等等。目前有关浮点数的中文资料很少,很多教科书上在谈到浮点数时都是浅尝辄止,本文以C语言浮点数机制为研究基础,...
关键词：程序设计语言 浮点数机制 C语言 
可移动代码的一种优化技术
《计算机科学》2000年第1期18-20,共3页王明文 孙永强 
1.引言关于可移动的程序代码的研究起源于异构网络环境的需求。象Scheme,Tcl和Telescript这样的解释型语言都在一定程度上支持程序代码的可移动性。和移动代理的迁移所不同的是,可移动代码只是程序代码的迁移而不是运行程序(包括程序代...
关键词：程序语言 可移动代码 优化 程序代码 
当前Java发展综述被引量：3
《计算机科学》1997年第6期1-5,共5页汪审权 胡守仁 
Java由一个面临失败工程的产物成为全世界炙手可热的有言,只有短短的两三年时间。现。
关键词：JAVA语言 程序语言 计算机网络 
面向对象语言的动态特性研究被引量：2
《计算机科学》1997年第5期19-23,共5页陆陪 于大川 吕建 
1.引言 随着面向对象软件开发技术的发展,越来越多的软件开发者正在使用面向对象程设计语言[l. 10].面向对象语言的重要特征之一是其动态特性。一般而言,静态与编译阶段相联。
关键词：面向对象 程序语言 动态特性 软件开发 
多方法分派研究现状
《计算机科学》1996年第6期1-5,9,共6页梅宏 黄小晗 杨芙清 
本文受863高技术计划;教委博士点基金资助
一、引言近十年来,面向对象技术得到了迅速的发展,目前已经实现的面向对象(00)程序设计语言数以百计。
关键词：多方法分派 面向对象 程序语言 
纯函数式语言的I/O系统被引量：5
《计算机科学》1996年第6期6-9,共4页袁华强 肖倩 孙永强 
函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所提供的基本函数为止。
关键词：纯函数式语言 I/O系统 程序语言 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部