双语例句
- Let us restate the assertions above as a theorem.
我们把上述的断言重新表述为一个定理。 - Use dead code elimination to implement assertions.
使用无效代码清除策略实现断言。
权威例句
Jass - Java with AssertionsUsing Open Vera Assertions to verify designsModel independent assertions for integration of heterogeneous schemasModel independent assertions for integration of heterogeneous schemasBeyond assertions: advanced specification and verification with JML and ESC/Java2A Practical Approach to Programming With Assertions2010 i2b2/VA challenge on concepts, assertions, and relations in clinical textAutomatic generation of invariants and intermediate assertions ☆Parameterized Verification with Automatically Computed Inductive AssertionsA study of machine-learning-based approaches to extract clinical entities and their assertions from discharge summaries
