理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- pancreas divisum
- pancreas of domestic animals
- pancreatectomy
- pancreatic cancer
- pancreatic cystic neoplasms
- pancreatic diseases
- pancreatic distension
- pancreatic exocrine function test
- pancreatic injury
- pancreatic island
- pancreatic juice
- pancreatic neuroendocrine tumors
- pancreaticoduodenectomy
- pancreatic plexus
- pancreatic polypeptide
- pancreatitis
- pancreatitis in canine and feline
- pancreozymin
- pancuronium
- pancyclic graph
- panda fiber
- Panda Post Office
- Panda radio
- PANDA Transect
- Pan Dawei