理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- Robert William Service
- Robert Willis
- Robert Wilson
- Robert Wise
- Robert Woodrow Wilson
- Robert W．Cahn
- Robert Yeo
- Robert Yerkes
- Roberval
- Roberval curve
- Robeson Channel
- Robin
- Robin boundary condition
- Robin boundary value condition
- Robin constant
- Robin function
- Robin George Collingwood
- Robin Hood effect
- Robin Horton
- Robin Law
- robinose
- Robin problem
- Robins
- Robinson
- Robinson annulation