代数规格说明语言ASL及到PROLOGR的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法，在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。