首页 | 本学科首页   官方微博 | 高级检索  
     

代数规格说明语言ASL及到PROLOG的转换
引用本文:宋立彤,金成植. 代数规格说明语言ASL及到PROLOG的转换[J]. 吉林大学学报(理学版), 1994, 0(3)
作者姓名:宋立彤  金成植
作者单位:吉林大学计算机科学系
摘    要:本文讨论了代数规范说明技术及其到逻辑程序设计语言PROLOG的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;在这种方法的基础上设计了一个自动转换系统,该系统接受ASL语言描述的规格说明,通过转换规则,逐步将此规格说明转换成可执行的PROLOG语言程序。

关 键 词:抽象数据类型,代数规格说明,类型代数

Algebraic Specification and Its Transformation into PROLOG
Song Litong,Jin Chengzhi. Algebraic Specification and Its Transformation into PROLOG[J]. Journal of Jilin University: Sci Ed, 1994, 0(3)
Authors:Song Litong  Jin Chengzhi
Abstract:This paper discusses algebraic specification technology and its automatic transfor-mation into PROLOG. First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced.On the basis of this method,an automatic transformatiOn system isdesigned.The system accepts specification written in ASL and the specification is transferredinto executable PROLOG programs through transformation rules.
Keywords:abstract data type  algebraic specification  type algebra
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号