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

Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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