保义

保义保义
  1. 基于时序逻辑证明编译优化程序变换的保义性

    Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic

  2. 法律专家称:“打黑成就可保一时平安,而法治成就能保一世公义”。

    Cracking down on gangs will give you a moment of peace , but rule of law will safeguard a generation of righteousness .

  3. 若有人犯罪,在父那里我们有一位中保,就是那义者耶稣基督;他为我们的罪作了挽回祭。

    And if any man sin , we have an advocate with the Father , Jesus Christ the righteous : And He is the propitiation for our sin .