School of Technology and Computer Science Seminars

Termination of Linear Loop Programs

Name: Termination of Linear Loop Programs
Start: 2019-03-01T17:15:00+05:30
End: 2019-03-01T18:15:00+05:30
Location: No location set

by Prabhat Kumar Jha (STCS, TIFR)

Friday 1 Mar 2019, 17:15 → 18:15 Asia/Kolkata

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

Choose timezone

Termination of Linear Loop Programs

by Prabhat Kumar Jha (STCS, TIFR)

A-201 (STCS Seminar Room)