Tata Institute of Fundamental Research

Termination of Linear Loop Programs

STCS Student Seminar
Speaker: Prabhat Kumar Jha
Organiser: Arghya Chakraborty
Date: Friday, 1 Mar 2019, 17:15 to 18:15
Venue: A-201 (STCS Seminar Room)

(Scan to add to calendar)
Abstract:  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).