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