SDL的静态语义定义框架

• 作者: 倪朝 艾波 黄洁
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: SDL 静态语义 抽象语法树 谓词演算
• 年，卷（期）: 1999,（8）
• 所属期刊栏目: 短文
• 页码范围: 69-74
• 分类号: TP312
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.1999.08.012

摘要

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用.SDL-92的形式语义已无法充分满足应用需要,本文对SDL现有的静态语义定义方法进行了深入的分析,提出了一种基于抽象语法树和谓词演算的SDL静态语义定义方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	艾波	北京邮电大学计算机科学与技术学院	20	541	8.0	20.0
2	倪朝	北京邮电大学计算机科学与技术学院	4	31	3.0	4.0
3	黄洁	北京邮电大学计算机科学与技术学院	9	40	4.0	6.0