Write a Blog >>
Mon 19 Jun 2017 15:00 - 15:30 at Vertex WS217 - Afternoon Session

Algebraic properties form a good basis for reasoning about programs, but reasoning is made harder by the presence of references and aliasing. Here we look at how ownership types may help in making code more amenable to algebraic reasoning.

Towards Reasonable Ownership (Paper.pdf)233KiB

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers14:00 - 14:30
iwaco-2017-papers14:30 - 15:00
File Attached
iwaco-2017-papers15:00 - 15:30
Anya Helene BaggeUniversity of Bergen, Kristoffer Haugsbakk, Vadim ZaytsevRaincode, Belgium
File Attached