Volume 9

DOI: https://doi.org/10.22152/programming-journal.org/2025/9

• Volume 9, Issue 1

  1. Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
     Patrick Rein, Stefan Ramson, Tom Beckmann, and Robert Hirschfeld
  2. Schema Evolution in Interactive Programming Systems
     Jonathan Edwards, Tomas Petricek, Tijs van der Storm, and Geoffrey Litt
  3. Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
     Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, and Jean-Christophe Filliâtre