Piecewise Relative Observational Purity (ProWeb20 - Fourth International Workshop on Programming Technology for the Future Web)

Mon 23 - Thu 26 March 2020 Porto, Portugal

Who

Seyed Hossein Haeri, Peter Van Roy

Track

ProWeb20

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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 23 Mar 2020 14:55 - 15:25 at W3 - ProWeb 2020 #3

Abstract

We propose a new paradigm for distributed systems programming: Piecewise Relative Observational Purity (PROP). In this paper, we present the idea behind PROP using a schematic syntax we developed earlier. We also talk about real-world examples in which PROP programming of distributed systems is beneficial.

Seyed Hossein Haeri

Université Catholique de Louvain

Belgium

Peter Van Roy

Université catholique de Louvain