PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) / IWACO 2017 (series) / IWACO 2017 /
Towards Reasonable Ownership
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
|14:00 - 14:30|
|14:30 - 15:00|
|15:00 - 15:30|