| 算法语言L的设计与形式规范 |
| |
| 引用本文： | 王岩冰,张家重.算法语言L的设计与形式规范[J].计算机研究与发展,1996,33(4):248-255. |
| |
| 作者姓名： | 王岩冰 张家重 |
| |
| 作者单位： | 上海交通大学计算机系，南京大学计算机软件研究所，中国科学院计算技术研究所 |
| |
| 摘 要： | 本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的△之设计原则，而定义了一个小型的算法语言Ｌ。文中详细地给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。
|
| 关 键 词： | 算法语言 Pascal语言 形式规范 程序语言 |
THE DESIGN AND FORMALSPECIFICATION OF ALGORITHM LANGUAGE L |
| |
| Wang Yanging.THE DESIGN AND FORMALSPECIFICATION OF ALGORITHM LANGUAGE L[J].Journal of Computer Research and Development,1996,33(4):248-255. |
| |
| Authors: | Wang Yanging |
| |
| Abstract: | On the basis of analyzing the main drawbacks of PASCAL when used as analgorithm language, and by adopting the design principles of b language, an algorithmlanguage L is defined in this paper. Its concrete grammar, abstract grammar and staticsemantics are presented in detail. |
| |
| Keywords: | Algorithm language concrete grammar abstract grammar static semantics formal specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
