Modular reasoning is discussed and applied widely in program analysis and verification fields,including static analysis,program evolution,and program verification. Aspect-oriented programming(AOP) is quantifiable and oblivious,and it violates the traditional modular principle.
模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。
参考来源 - 面向方面的模块化推理框架研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Then, the thesis program verification and design process in detail.
然后，论文进行了方案论证和设计过程的详细论述。
Program verification can be done both on source code and assembly code.
程序验证可以对源代码进行，也可以对汇编代码进行。
In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
But negotiations have been stalled for months over Pyongyang's refusal to accept a verification program for the declaration of its nuclear holdings and activities it made last June.
VOA: standard.2009.03.25
But the six-party talks have stalled over Pyongyang's refusal to accept a verification program for the declaration of its nuclear assets and activities that was agreed to last June.
VOA: standard.2009.04.14
应用推荐