Modularity 2016
Mon 14 - Thu 17 March 2016 Spain
Thu 17 Mar 2016 10:30 - 11:00 at MODULARITY - Languages and Modularity Chair(s): Shigeru Chiba

Event-driven programming has become a major paradigm in developing concurrent, distributed systems. Its benefits are often informally captured by the key tenet of “decoupling”, a notion which roughly captures the ability of modules to join and leave (or fail) applications dynamically, and to be developed by independent parties. Programming models for event-driven programming either make it hard to reason about global control flow, thus hampering sound execution, or sacrifice decoupling to aid in reasoning about control flow. This work fills the gap by introducing a programming model – dubbed cooperative decoupled processes – that achieves both decoupling and reasoning about global control flow. We introduce this programming model through an event calculus, loosely inspired by the Join calculus, that enables reasoning about cooperative decoupled processes through the concepts of pre- and postconditions. A linear type system controls aliasing of events to ensure uniqueness of control flow and thus safe exchange of shared events. Fundamental properties of the type system such as subject reduction, migration safety, and progress are established.

Thu 17 Mar

modularity-2016-papers
10:00 - 11:30: Research Results - Languages and Modularity at MODULARITY
Chair(s): Shigeru Chiba
modularity-2016-papers145820520000010:00 - 10:30
Talk
DOI
modularity-2016-papers145820700000010:30 - 11:00
Talk
DOI
modularity-2016-papers145820880000011:00 - 11:30
Talk
DOI