ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:30 - 17:00 at S7 - Session IV

Hybrid computation combines discrete and continuous dynamics in the form of an entangled mixture inherently present both in natural phenomena, and in applications ranging from control theory to microbiology. The emergent behaviours bear signs of both computational and physical processes, and thus present difficulties not only for analysis, but also for describing them adequately in a structural, well-founded way. We present a while-language for deterministic hybrid computation HybCore and equip it with an operational and computationally adequate denotational semantics over a hybrid monad. As an intermediate step we develop a more lightweight duration semantics drawing on a duration monad that we introduce as a lightweight counterpart to the hybrid monad.

Sun 7 Apr

16:00 - 18:00: QAPL - Session IV at S7
qapl-2019-papers16:00 - 16:30
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
qapl-2019-papers16:30 - 17:00
Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Renato NevesUniversity of Minho & INESC TEC
qapl-2019-papers17:00 - 17:30
qapl-2019-papers17:30 - 18:00
Marco BernardoUniversity of Urbino