程序语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
命令式模糊程序语言的语义被引量：1
《计算机学报》2013年第4期862-869,共8页吴恒洋 
上海市高可信计算重点实验室项目(51X14017);浙江省教育厅科研项目(Y201223001)资助~~
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研...
关键词：模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑 
两维时间域上的一种区间逻辑被引量：1
《计算机学报》1999年第5期455-459,共5页裘宗燕 
国家自然科学基金
为了给超稠密计算模型（Ｓｕｐｅｒ－ｄｅｎｓｅｃｏｍｐｕｔａｔｉｏｎ）建立一种逻辑工具，首先定义了一个两维的超稠密时间域，在这个时间域上定义了一种区间逻辑，并提出了该逻辑的一个推理系统．并用轨道概念定义了两维超稠密空间...
关键词：时态逻辑 区间逻辑 两维时间 并行程序语言 
基于继承的子类型机制
《计算机学报》1997年第12期1088-1094,共7页王志坚 朱跃龙 胡吉明 
本文扼要介绍继承的一个数学模型．在此基础上，通过对各种继承的形式刻划，研究了各种继承对子类型机制的影响．结果表明：单继承和图式继承支持强类型，线性继承不支持强类型．
关键词：继承 子类型 程序语言 数学模型 
对象式逻辑程序设计语言LKO的说明性语义被引量：2
《计算机学报》1996年第11期841-847,共7页徐殿祥 郑国梁 
本文基于逻辑程序设计语言的良基模型语义，探讨了对象式逻辑程序设计语言ＬＫＯ的说明性语义．该语义由组合迭代的极小不动点定义，具有构造性和组合性，为在ＬＫＯ中进一步引人非单调继承和逻辑理论奠定了基础．
关键词：逻辑程序设计 说明性语义 LKO语言 程序语言 
HiLog的悖论
《计算机学报》1996年第10期780-782,共3页周青 
本文证明了文献［１］中所定义的ＨｉＬｏｇ语言可能产生悖论，并讨论了产生这种悖论的原因．
关键词：谓词 HiLog语言 程序语言 
非线性代数规范的直接实现技术
《计算机学报》1996年第7期530-536,共7页金立群 钱家骅 
国家863高技术计划;国家教委博士点基金
代数规范（ＡｌｇｅｂｒａｉｃＳｐｅｃｉｆｉｃａｔｉｏｎ）是支持软件规格说明和设计的一种有效的方法．代数规范的直接实现技术（将一个代数规范转换为一个程序设计语言的具体实现的技术）是该研究领域的一个主要分支，目前这方面的...
关键词：非线性 代数规范 数据类型 程序语言 程序设计 
NUMLS中的多态类型检测
《计算机学报》1996年第7期548-553,共6页许满武 陆剑锋 戴劲雯 曾凡聪 傅松 杨冬 
国家自然科学基金;国家高技术研究与发展计划资助
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理．
关键词：类型检测 NUMLS语言 程序语言 
多种OOPL的统一框架模型
《计算机学报》1996年第3期179-185,共7页朱冰 梅宏 杨芙清 
本文针对已有的面向对象语言，探讨了不同语言编写的混和类及其对象的组装问题，提出了一种具有统一框架的ＯＯＰＬ模型．在该模型中，引入了类构件和消息体的概念；一个类构件由一个类规范和０到多个类实现组成；引入接口相容和接口一...
关键词：面向对象 软件复用 OOPL模型 程序语言 
具有主动功能的程序设计语言及其实现技术被引量：9
《计算机学报》1996年第3期221-229,共9页何新贵 
本文将提出一种主动程序设计语言的概念，它将改变一般程序设计语言只能用来编制被动执行的计算机程序的惯例，可使由该程序设计语言实现的系统具有主动提供各种服务的功能，使得诸如实时监控和报警功能（包括系统状态、性能、安全、故...
关键词：事件驱动 程序语言 计算机 
对Modula－2进行面向对象扩充被引量：1
《计算机学报》1996年第1期30-35,共6页李宣东 郑国梁 
国家863高技术基金;国家教委博士点基金;江苏省科技应用基础基金
本文阐述了ＮＤＯＯＭ的设计和实现的主要思想．ＮＤＯＯＭ是一个Ｍｏｄｕｌａ－２的面向对象扩充，是Ｍｏｄｕｌａ－２的超集，其既充分支持面向对象程序设计，又保持了ＭＯｄｕｌａ－２的原有风格．
关键词：面向对象 Modula-2语言 程序语言 扩充 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部