期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
SDL的静态语义定义框架
1
作者 倪朝 黄洁 艾波 《通信学报》 EI CSCD 北大核心 1999年第8期69-74,共6页
Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算... Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算的 Ｓ Ｄ Ｌ 静态语义定义方法。 展开更多
关键词 SDL 静态语文 抽象语法树 谓词演算 SDL语言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部