1) replacement statement
置换语句
2) statement exchange
语句交换
1.
Two kinds of program transformations widely-used in optimizing compilation, statement exchange and variable substitution, are investigated and their soundness conditions are formally defined with CTL-FV, an extension of the temporal logic CTL (computation tree logic).
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明。
3) Put number phrases andsentences
置数语句
4) prepositive objects
宾语前置句
1.
It was in the middle ancient era that the patterns of prepositive objects changed a lot.
中古时期是汉语宾语前置句式发生巨大变化的时段,通过对《后汉书》进行穷尽调查以及与相关文献比较研究,大致可以得出以下几个结论:一是汉语宾语前置不同句式之间的发展具有不平衡性。
5) put statement
送出语句，放置语句
6) switch of the context
语境置换
补充资料：转子语句和返回语句
主程序调用子程序以及从子程序返回主程序的语句。调用子程序的语句为转子语句，从子程序返回调用程序的语句为返回语句。在basic语言中，每次调用子程序时，必须成对使用，缺一个就会产生语法错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条