Porous invariants
We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many ‘holes’. Nevertheless, we show that in many cases such invariants can be automatically synth...
| Main Authors: | , , , |
|---|---|
| 格式: | Conference item |
| 语言: | English |
| 出版: |
Springer Nature
2021
|