程序语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
步进索引模型下的语义及其形式化
《软件学报》2022年第6期2127-2149,共23页郭昊 曹钦翔 
国家自然科学基金青年科学基金(61902240)。
霍尔逻辑作为计算机程序的逻辑基础,可以用于描述一般程序的验证.分离逻辑作为霍尔逻辑的扩展,可以支持很多现代程序语言中的高阶特性.步进索引模型被用于定义自递归谓词.步进索引逻辑被广泛应用于各种基于交互式定理证明器的程序验证...
关键词：程序状态模型 程序语言的语义 形式化验证 
Garment中多态类型的Ideal模型被引量：1
《软件学报》1998年第3期194-199,共6页郑红军 张乃孝 
国家自然科学基金
本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基础上，证明了Ｇａｒｍｅｎｔ中类型规则的语义可...
关键词：多态类型 GARMENT IDEAL模型 程序语言 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅰ）
《软件学报》1997年第A00期441-447,共7页旷海蓉 陈翌佳 
本文和相关的论文讨论了一个并行程序语言的部分计值器。本文所使用的语言是在Ｌａｍｂｄａ演算法的基础上加入消息传递的通讯机制。
关键词：并行Lambda语言 编译器 并行程序语言 
并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅱ）
《软件学报》1997年第A00期448-456,共9页陈翌佳 孙永强 
本文和相关的一篇论文讨论了一个并行程序语言的部分计值器，相关论文已对语言作了介绍。本文交替爱道分析，约束时间分析等问题。
关键词：并行Lambda语言 编译器 并行程序语言 
基于面向对象的分布式程序设计语言NC＋＋的测试系统被引量：4
《软件学报》1997年第A00期352-356,共5页顾庆 陈道蓄 
本文介绍了一个面向分布式语言ＮＣ＋＋的测试系统原型ＰＳＥＴ。该系统由两部分组成：静态测试部分ＰＳ用于分析和显示程序的静态控制流程；动态测试部分ＥＴ用于显示程序执行过程中所产生的各类事件，从中分析各进程间的调用关系。
关键词：测试系统 面向对象 程序语言 NC++ 
基于ACTOR模型的并发面向对象语言AC++被引量：1
《软件学报》1997年第3期197-203,共7页董哲 刘琳 田籁声 
国家自然科学基金
ＡＣ＋＋是用ＡＣＴＯＲ模型建造的并发Ｃ＋＋语言．本文介绍ＡＣ＋＋的设计与实现，着重探讨如何在语义级上平滑地结合ＡＣＴＯＲ模型和普通面向对象语言，提出了“扩充的行为抽象”和“异步创建”等新方法，使新语言既能保持面向对象...
关键词：面向对象语言 ACTOR模型 程序语言 AC++语言 
高阶函数式语言到逻辑式语言的转换
《软件学报》1996年第10期611-615,共5页宋立彤 金成植 王丹茹 
本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．
关键词：程序语言 高阶函数式语言 逻辑式语言 
软件过程建模语言研究被引量：19
《软件学报》1996年第8期449-457,共9页柳军飞 唐稚松 
本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角...
关键词：软件过程 建模 过程建模语言 程序语言 
LISP语言的增量式部分求值器被引量：2
《软件学报》1996年第8期492-498,共7页李航 宋立彤 金成植 
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地...
关键词：LISP语言 部分求值器 增量式计算 程序语言 
一种基于C扩展的SIMD的并行程序设计语言
《软件学报》1996年第7期401-408,共8页景晓军 方滨兴 
ＳＩＭＣ（ＳＩＭＤＣ）是通过对Ｃ语言进行语法扩展（未进行语义扩展）得到的支持ＳＩＭＤ（ｓｉｎｇｌｅｉｎｓｔｒｕｃｔｉｏｎｍｕｌｔｉｐｌｅｄａｔａ）并行程序设计的并行语言．ＳＩＭＣ可方便地描述ＳＩＭＤ并行算法，具有ＳＩ...
关键词：并行程序 并行计算机 程序语言 C语言 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部