保义
保义
-
基于时序逻辑证明编译优化程序变换的保义性
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 .