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