理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- FAA
- FAAS
- FAB
- fabaceous
- Faber
- Faber and Faber Limited
- faber fir
- Faber-Jackson law
- Faber-Jackson relation
- Faber-Krahn inequality
- Faber polynomial
- Faber-Schauder system of functions
- Faber series
- Fabianism
- Fabian Society
- fabiform
- FAB ion source
- Fable
- Fables from Hans Christian Andersen
- Fabre Perot filter
- Fabre-Perot filter
- Fabre-Perot (F-P) filter
- Fabre-Perot (F-P) microcavity
- Fabre Perot microcavity
- Fabre-Perot microcavity