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)
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