School of Technology and Computer Science Seminars
Termination of Linear Loop Programs
by
Prabhat Kumar Jha
(
STCS, TIFR
)
Friday 1 Mar 2019, 17:15
→
18:15
Asia/Kolkata
A-201 (STCS Seminar Room)
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).