Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 12:00 - 12:30 at Templars - Onward! Papers 1 Chair(s): Wolfgang De Meuter

Abstract Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallƐ, an object-oriented language that takes a flexible approach where effects are just method calls: this works well because ordinary methods often model things like I/O operations, access to global state, or primitive language operations such as thread creation. CallƐ supports both flexible and fine-grained control over such behaviour, in a way designed to minimise the complexity of annotations.

Abstract CallƐ’s effect system can be used to prevent OO code from performing privileged operations, such as querying a database, modifying GUI widgets, exiting the program, or performing network communication. It can also be used to ensure determinism, by preventing methods from (indirectly) calling non-deterministic primitives like random number generation or file reading.

Wed 23 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Onward! Papers 1Onward! Papers at Templars
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
11:00 - 11:30
Deployable Probabilistic Programming
Onward! Papers
11:30 - 12:00
An Approach for Persistent Time-Varying Values
Onward! Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
12:00 - 12:30
CallƐ: An Effect System for Method Calls
Onward! Papers
Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand