Description |
Abstract: Linear loop programs are while programs with a linear loop condition and linear assignments as loop body. In this talk we will discuss proof of decidability of a class of linear loop programs (due to A. Tiwari). |
Organised by | Arghya Chakraborty |