Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 14:50 - 15:20 at Belli - Session 3 Chair(s): Davide Ancona

We face the problem of providing a denotational semantics for corecursive methods with default, a programming feature for manipulating cyclic structures without ad-hoc machinery. To this aim, we study new lattices for which the theorem of Kleene is applicable so that the semantics of a corecursive method with default corresponds to the greatest fixed point computed as the greatest lower bound of a descending chain. The proposed definition allows us to prove correctness of some kinds of corecursive methods. This solution is only partly satisfactory, and a different and more general approach is currently under development.

Tue 19 Jul

FTfJP-2016
13:50 - 15:20: FTfJP - Session 3 at Belli
Chair(s): Davide AnconaUniversity of Genova
FTfJP-201613:50 - 14:20
Talk
Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal Holloway University of London
FTfJP-201614:20 - 14:50
Talk
FTfJP-201614:50 - 15:20
Talk
Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova