SDL语言

作品数：39被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：杨放春艾波刘玉璋倪朝陈俊亮更多>>
相关机构：北京邮电大学电子科技大学重庆邮电学院电子部更多>>
相关期刊：《通信学报》《计算机应用与软件》《通信技术》《计算机研究与发展》更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SDL的静态语义定义框架
《通信学报》1999年第8期69-74,共6页倪朝 黄洁 艾波 
Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算...
关键词：SDL 静态语文 抽象语法树 谓词演算 SDL语言 
SDL语言中的面向对象概念被引量：2
《通信学报》1999年第6期62-68,共7页倪朝 黄洁 宋雨 艾波 
介绍ＳＤＬ语言最新版本中的面向对象语言机制，探讨与此相关的概念及其使用方法。在分析类型与实例在系统规范中的区别和联系的基础上，举例说明类型的定义和使用方法，介绍了在面向对象框架下类型的一般化和专门化概念，最后指出ＳＤ...
关键词：面向对象 类型 一般化 专门化 SDL语言 
SDL语言SAVE功能的等价变换被引量：1
《通信学报》1994年第4期39-47,共9页刘玉璋 杨放春 
国家自然科学基金
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
关键词：SDL语言 等价变换 SAVE 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部