求翻译：本文介绍了循环不变式的基本概念以及计算不变式的基本方法；用JAVA重写了Siemens 的replace C程序，并以JAVA和C两种语言的replace程序为例，对不变式动态探测工具daikon进行了深入的实验研究。是什么意思？

This article describes the loop invariant of the basic concepts and to calculate the invariant method; rewrite siemens java replace c procedures, and to replace program in java and c in two languages, for example, on dynamic invariant detection tool to the daikon carry out an in-depth experimental s

This article describes a cycle does not change the basic concepts, as well as calculation does not change the basic methods; use JAVA Siemens rewrite of the program, the replace C JAVA and C two languages and the replace program as an example, the constant-daikon dynamic detection tool for an in-dep

正在翻译，请等待...

This article introduced the basic concepts of loop invariants, and invariants of the basic method of calculating; override Siemens replace c programs with JAVA and replace in both c and JAVA language programs, for example, daikon unchanged dynamic detection tool for in-depth study.

This article introduced the circulation invariant basic concept as well as the computation invariant essential method; Has rewritten Siemens replace with JAVA the C procedure, and take JAVA and C two language replace procedures as the example, has conducted the thorough experimental study to invaria