We put forward an effective method of modification, and the analysis result of incremental update reflects the change analysis of code. The revision and updating algorithm is based on the principle of clear propagation. It can detect theoretical changes, what you are looking for: it detects.

orion

Then clear the information of its successors and spread new ones.

Then, the result from there clears its follow-up information and spreads new results.

We have achieved revisers on heroes and smoke.

We recognize the hero and smoke of the reviser.

Using this implementation, we have shown that, initially,

Calculation revision only introduces a small overhead (in most cases less than 20%, sometimes even within the standard range)

Change), but it is good to perform incremental update. Using this implementation, we have shown that the initial calculation modification only introduces a small overhead (less than 20% in most cases, and sometimes even the standard deviation), but it is much better than incremental update.

As a result, the initial expenses paid off quickly.

Close when IDE results are updated regularly, for example, when

Continuously integrate servers. Therefore, the initial overhead will soon return to the result of updating the IDE regularly, for example, checking in more than 25 most at a time on a continuous integration server.

Recently submitted to the Soot GIF library, using REVISER to achieve savings.

Accumulated to more than 1 1000 seconds (3 hours). In the last 25 projects, the accumulated revision exceeded 1 1000 seconds (3 hours).

8 confirmation

We want to thank Zhang Cheng, Mark Andre.

Anonymous examiners of Laverdiere-Papineau and oops la 13 and ICSE 14.

They are very helpful comments on the first edition of this article. We would like to thank the anonymous commentator Marc-Andre Laverdiere-Papineau for his OOPSLA 13 and the first edition of the conference for its very useful comments 14.

This work was supported by BMBF in Spuri, Council of Europe and Hesse.

LOEWE Excellence plan case, proposed by DFG in the project.

The work of RUNSECURE Company provides an excellent plan for the future casing running of desulfurization projects of EC SPRIDE BMBF, Lu Anke of Hesse and RUNSECURE Company.

Please ask your colleagues to translate carefully when you are free tomorrow.