2) program's partial correctness
程序的部分正确性
4) Partial correctness
部分正确性
1.
Programmers can verify the partial correctness of multi-core parallel programs in our framework.
在该框架下,程序员可以对多核并行程序的部分正确性进行验证。
5) validation of program correctness
程序正确性验证
1.
The method of the validation of program correctness based on syntax trees is a fire-new research field.
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性。
补充资料:持续性部分性癫痫
持续性部分性癫痫
epilepsia partialis continua
又名“Kojewnikow综合征”,是大脑运动皮质病变引起的部分性运动性发作,特点是面部肌肉或上肢的限局性阵挛,持续不断,但意识无障碍。本综合征有两种临床类型:①起病于2~10岁,平均6.4岁。都有已知的病因,如炎症、血管病等。阵挛发作总是限局性的,肌阵挛发作出现较晚。脑电图背景波形正常,棘慢波发放主要限局于中央区。病程不进展。一般没有智力发育障碍。②小儿慢性进行性持续性部分性癫痫,即Rasmussen综合征。本型病因不明。起病在2~14岁间,起病前正常或在数月内有感染史。发作形式是部分性运动性阵挛,以上肢为主,成为一侧身体。发作频繁。常伴其他发作类型,肌阵挛抽搐出现时间较早。常有偏瘫,智力落后等神经系异常。脑电图背景波变慢、不对称。发作期和间期均有爆发性棘慢波,常为弥漫性或多灶性。上述癫痫治疗困难。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条