算法语言L的设计与形式规范  

THE DESIGN AND FORMALSPECIFICATION OF ALGORITHM LANGUAGE L

作　　者：王岩冰[1] 张家重[1] 刘弘[1] 

机构地区：[1]上海交通大学计算机系,南京大学计算机软件研究所,中国科学院计算技术研究所

出　　处：《计算机研究与发展》1996年第4期248-255,共8页Journal of Computer Research and Development

摘　　要：本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。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.

关 键 词：算法语言 PASCAL语言 形式规范 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]