程序性材质资源 Procedural Material Asset
XYZ/AE is one sub-language of the temporal logical system XYZ. Describing programs property with XYZ/AE has superiority comparable to other temporal logical languages.
XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。
参考来源 - XYZ/AE描述程序性质的探讨 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
AE是时序逻辑系统XYZ的一个子语言，用此语言描述程序性质有很多优点。
XYZ/AE is one sub-language of the temporal logical system XYZ. Describing program's property with XYZ/AE has superiority comparable to other temporal logical languages.
它享有优美的代数性质，有助于程序的转换、优化和探求有关程序性质的一般定理。
We can study program transformation, program optimization and investigate general theorems of program properties with help of it.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
应用推荐