‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 16:00 - 16:20 at Verdi - Session 4

Tue 2 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:10: Session 4VPT at Verdi
16:00 - 16:20
Talk
Iteratively Composing Statically Verified Traits
VPT
Isaac Oscar Gariano, Marco ServettoVictoria University Wellington, New Zealand, Alex PotaninVictoria University of Wellington, Hrshikesh Arora
16:20 - 16:40
Talk
Verifying String Replacing Procedures by Supercompilation
VPT
16:40 - 17:00
Talk
Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata
VPT
Nikolay ShilovInnopolis University
17:00 - 17:10
Day closing
Closing
VPT
Alexei LisitsaUniversity of Liverpool , Andrei NemytykhProgram Systems Institute of RAS, Russia