Mon 15 Jul 2019 16:45 - 17:00 at Epernay - Session Three

Through an example about linked lists we show how a sequential program with classes can be translated to first-order logic independent of loop invariants.

Mon 15 Jul

FTfJP-2019-papers
15:30 - 17:00: FTfJP 2019 - Session Three at Epernay
FTfJP-2019-papers15:30 - 16:00
Full-paper
Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
FTfJP-2019-papers16:00 - 16:30
Full-paper
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
FTfJP-2019-papers16:30 - 16:45
Short-paper
Martin LesterUniversity of Reading
FTfJP-2019-papers16:45 - 17:00
Short-paper