Prolog程序的规范与自动综合_中文_期刊

Prolog程序的规范与自动综合

更新时间：2019-05-21 访问次数：

关键词：子目标　　自动综合　　程序设计　　子程序　　程序规范　　自动设计系统　　演绎语言　　抽象数据结构　　抽象语义　　元符号

发明人：孙怀民，王立国

内容提要：本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法.

期刊名：计算机研究与发展

期号：第6期

年份：1987

页数：31-42