程序语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
算法语言L的指称语义
《计算机研究与发展》1998年第3期240-245,共6页王岩冰 张家重 刘弘 
文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．
关键词：算法语言L 抽象文法 程序语言 指称语义 
面向对象软件测试技术进展被引量：46
《计算机研究与发展》1998年第1期6-13,共8页金凌紫 
国家教委留学回国人员启动经费;国家"863"高科技项目
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方...
关键词：面向对象 软件测试 程序语言 软件开发 
OOZS:一种面向对象的Z语言扩展被引量：1
《计算机研究与发展》1997年第10期742-746,共5页李刚 朱关铭 
上海市高校科技发展基金
在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能...
关键词：面向对象 OOZS语言 Z语言 程序语言 
程序设计语言的一种自动编译器
《计算机研究与发展》1997年第3期212-216,共5页秦振松 范伯南 
本文介绍一种简单而又直观的程序设计语言的编译器．我们主要讨论如何把语义动作嵌入到文法产生式内，当分析过程时，如何执行相应语义子程序。
关键词：编译程序 程序语言 自动编译器 
Ada95语言评述被引量：3
《计算机研究与发展》1997年第1期53-57,共5页徐宝文 
国家自然科学基金;江苏省计算机应用重点学科基金
Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等．本文介绍了Ａｄａ９５的研制背景、修订过程，...
关键词：ADA ADA83 ADA95 程序语言 
VDM和Z两种规范描述语言的比较被引量：5
《计算机研究与发展》1996年第11期816-822,共7页朱玉 陈忠民 张乃孝 
国家自然科学基金
本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
关键词：VDM规范 规范描述语言 Z规范 程序语言 
算法语言L的设计与形式规范被引量：1
《计算机研究与发展》1996年第4期248-255,共8页王岩冰 张家重 刘弘 
本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有...
关键词：算法语言 PASCAL语言 形式规范 程序语言 
面向agent的程序设计语言:DL-1被引量：6
《计算机研究与发展》1996年第2期93-101,共9页马志方 刘大有 吕为工 
为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地...
关键词：问题求解 DL-1语言 Agent语言 程序语言 
函数式语言编译中多态类型的实现技术
《计算机研究与发展》1995年第11期8-15,共8页黄明和 
函数式程序设计语言的重要特点之一是多态类型（Ｐｏｌｙｍｏｒｐｈｉｃｔｙｐｅｓ）。它有很强的功能，是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型...
关键词：函数式 程序语言 多类类型 编译程度 
VAX／RGL的C语言接口设计
《计算机研究与发展》1995年第7期43-47,共5页杨献春 徐福培 
异种语言编写的程序相互调用，是程序设计者为利用已有软件资源而经常涉及的实用技巧。本文基于Ｃ应用程序调用ＶＡＸ／ＲＧＬ图形库绘图的实践，探讨ＶＡＸ／ＶＭＳ环境中Ｃ语言与ＦＯＲＴＲＡＮ语言的接口方法，其关键在于弥补两者采...
关键词：图形库 C语言 接口 FORTRAN语言 程序语言 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部