Denotational Semantics

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

ACM Transactions on Programming Languages and Systems (TOPLAS) 46 (1), 2024.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

Denotational Semantics for Symbolic Execution

Proc. ICTAC 2023. LNCS 14446 Springer 2023.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen

Symbolic Semantics for Probabilistic Programs

Proc. QEST 2023. LNCS 14287. Springer 2023.

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski