期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Garment中的归约语义 被引量：2
1
作者 郑红军 张乃孝 《计算机研究与发展》 EI CSCD 北大核心 1998年第6期486-490,共5页
文中用代数方法研究了Ｇａｒｍｅｎｔ中程序设计语言的归约语义，首先给出了归约语义在形式语言理论中的含义，然后提出了Ｇａｒｍｅｎｔ中语言的代数模型．在此代数模型下讨论了归约语义及其性质，并给出了语言可归约的充分条件．
关键词 Grament 程序设计语言 归约语义
在线阅读 下载PDF
微机上运行的多功能仿真语言GASP/PC
2
作者 卢世瑜 陈元 许展贞 《国防科技大学学报》 EI CAS CSCD 北大核心 1990年第2期100-105,共6页
文中介绍了IRM-PC机上多功能仿真软件GASP/PC的开发,叙述了GASP/PC仿真语言的形成以及对于连续、离散和复合仿真模型的GASP/PC语言的结构与仿真方法。
关键词 仿真语言 仿真软件 仿真模型 微机
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部