Termination of Linear Loop Programs

Speaker: 

Time: 

Friday, 1 March 2019, 17:15 to 18:15

Venue: 

  • A-201 (STCS Seminar Room)

Organisers: 

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