2) alter statement
更改语句
3) update semantics
更新语义
1.
A logic of background-involved conditionals for update semantics;
一个适于更新语义的涉景条件句逻辑
2.
In this paper, firstly, we will present some variants of the update semantics presented by Veltman[1], and thus prove the model soundness and the model completeness of some epistemic systems and conditional systems with respect to the variants.
更新语义是一种刻画单个主体信息变化的语义。
5) Discourse Renewal
话语更新
6) XML update language
XML更新语言
补充资料：转子语句和返回语句
主程序调用子程序以及从子程序返回主程序的语句。调用子程序的语句为转子语句，从子程序返回调用程序的语句为返回语句。在basic语言中，每次调用子程序时，必须成对使用，缺一个就会产生语法错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条