School of Technology and Computer Science Seminars
Termination of Linear Loop Programs
by Prabhat Kumar Jha (STCS, TIFR)
Friday, March 1, 2019
from
to
(Asia/Kolkata)
at A-201 (STCS Seminar Room)
at A-201 (STCS Seminar Room)
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 |