论文部分内容阅读
算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言,如何编该类语言是一个应该研究的重要问题,过程式语言到机器代码的编绎问题已被解决,因此编绎的关键是由算子程度向过程的转换,本文用模式匹配法,给出了算子式语言到while程序的变换语义,给出了基本变换规则集,证明了该变换规则集的完备性和一致性,为该类语言到过程语言的翻译提供了理论和技术基础。