浏览全部资源
扫码关注微信
北京邮电大学计算机科学与技术学院!北京100876
纸质出版日期:1999
移动端阅览
[1]倪朝,黄洁,艾波.SDL的静态语义定义框架[J].通信学报,1999(08):69-74.
[1]倪朝,黄洁,艾波.SDL的静态语义定义框架[J].通信学报,1999(08):69-74. DOI:
DOI:
S D L 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 S D L- 92的形式语义已无法充分满足应用需要,本文对 S D L 现有的静态语义定义方法进行了深入的分析,提出了一种基于抽象语法树和谓词演算的 S D L 静态语义定义方法。
0
浏览量
62
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构