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

iwaco-2017-papers
14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
File Attached
iwaco-2017-papers149787720000015:00 - 15:30
Talk
File Attached