保义
保义-
基于时序逻辑证明编译优化程序变换的保义性
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
-
法律专家称：“打黑成就可保一时平安，而法治成就能保一世公义”。
Cracking down on gangs will give you a moment of peace , but rule of law will safeguard a generation of righteousness .
-
若有人犯罪，在父那里我们有一位中保，就是那义者耶稣基督；他为我们的罪作了挽回祭。
And if any man sin , we have an advocate with the Father , Jesus Christ the righteous : And He is the propitiation for our sin .