%0 Journal Article
%T LPS程序的过程语义
%A 李磊
%A 赵春晓
%J -
%D 1993
%X 为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930311&flag=1