Accelerating invariant generation
Acceleration is a technique for summarising loops by computing a closed-form representation of the loop behaviour. The closed form can be turned into an accelerator, which is a code snippet that skips over intermediate states of the loop to the end of the loop in a single step. Program analysers rel...
| Κύριοι συγγραφείς: | , , , , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Conference item |
| Έκδοση: |
IEEE
2016
|