| 摘要: |
| 算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言．如何编绎该类语言是一个应该研究的重要问题．过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程序向过程的转换．本文用模式匹配法，给出了算子式语言到while程序的变换语义．给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础． |
| 关键词: 算子式语言，变换语义，变换规则，完备性．一致性． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到南京大学计算机软件研究所基金和航空科学技术基金资助. |
|
| TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE |
|
Yan Zhixin,Huang Dongquan
|
| Abstract: |
| Operator programming language is an efficient，useful and practical，high—level，new programming language with sound theoretical foundation．How to compile this language is an important problem which should be made researches on．The translation ot programs from procedure language into machine language has been solved，hence the linchpin upon which the translation depends is the transformation of operator programs to procedures．In this paper．the transformation semantics of operator language to while pro-grams was given with model match method．A basic set of transformation rules was given and it was proved to be complete and consistent，so that the theoretic and technologic foundation to translate operator language to procedure language was provided． |
| Key words: Operator language,transformation semantics,transformation rule,complete-ness,consistency． |
