We introduce several blame strategies for gradual effect systems. Blame strategies are the part of a language semantics that aims to identify the cause of a runtime check failure. Gradual effect systems are a framework that combines static and dynamic checking of invariants about the side effects performed by a program.
We present a minimal language that performs dynamic checks over an effect discipline, and we explore the design space of blame assignment strategies for effects in this language. We also present usefulness criteria against which we compare these strategies.
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | |||
13:30 25mTalk | Automated Testing Support for Reactive Domain-Specific Modelling Languages SLE Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada DOI | ||
13:55 25mTalk | Side Effects Take the Blame SLE Felipe Bañados Schwerter University of British Columbia, Canada DOI | ||
14:20 25mTalk | Symbolic Execution of High-Level Transformations SLE Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached | ||
14:45 15mTalk | Raincode Assembler Compiler (Tool Demo) SLE Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium DOI | ||
