程序断言 meaning in English
program assertion
Examples
- A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions
）通常，时态逻辑构建于一组更简单的原子（小单元）命题之上，如传统程序断言。 - When responding to the transaction manager of the prepared outcome , the resource manager asserts the read - only information in the prepared vote
当对预备结果的事务管理程序作出响应时，资源管理程序断言已准备好的提交内容中的只读信息。