Towards Reasonable Ownership (IWACO 2017)

Write a Blog >>

Sun 18 - Fri 23 June 2017 Barcelona, Spain

co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Who

Anya Helene Bagge, Kristoffer Haugsbakk, Vadim Zaytsev

Track

IWACO 2017

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 19 Jun 2017 15:00 - 15:30 at Vertex WS217 - Afternoon Session

Abstract

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.

File attachments

Towards Reasonable Ownership (Paper.pdf)	233KiB

Anya Helene Bagge

University of Bergen

Norway

Kristoffer Haugsbakk

Vadim Zaytsev

Raincode, Belgium

Belgium