%0 Journal Article
%T 算子式语言到过程语言的变换语义*
%A 阎志欣
%A 黄冬泉
%J -
%D 1996
%X 算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言．如何编绎该类语言是一个应该研究的重要问题．过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程序向过程的转换．本文用模式匹配法，给出了算子式语言到while程序的变换语义．给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础
%K 算子式语言
%K 变换语义
%K 变换规则
%K 完备性．一致性．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s150&flag=1