1) alternate statement
交替语句
2) communicative sentences
交际语句
3) 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,并基于一种归纳证明框架对它们的保义性进行了证明。
4) morphophonemic alternation
语素交替
5) Global SQL Language
交叉SQL语句
6) English communicative utterance
英语交际语句
补充资料：转子语句和返回语句
主程序调用子程序以及从子程序返回主程序的语句。调用子程序的语句为转子语句，从子程序返回调用程序的语句为返回语句。在basic语言中，每次调用子程序时，必须成对使用，缺一个就会产生语法错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条