


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.