default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Art, Science, and Engineering of Programming, Volume 10
Volume 10, Number 1, 2025
- Aurore Poirier
, Erven Rohou, Manuel Serrano:
An Attempt to Catch Up with JIT Compilers: The False Lead of Optimizing Inline Caches. - Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham:
On the State of Coherence in the Land of Type Classes. - Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen:
Conversational Concurrency with Dataspaces and Facets. - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Consistent Distributed Reactive Programming with Retroactive Computation. - Mathijs Saey, Joeri De Koster, Wolfgang De Meuter:
Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies. - Zachary S. Rowland, Saverio Perugini:
The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs. - Anton Risberg Alaküla, Niklas Fors, Emma Söderberg:
Study of the Use of Property Probes in an Educational Setting. - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Evolution Language Framework for Persistent Objects. - Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld:
Probing the Design Space: Parallel Versions for Exploratory Programming. - Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali:
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. - Lukas Makor, Sebastian Kloibhofer, Peter Hofer, David Leopoldseder, Hanspeter Mössenböck:
Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation. - Luca Chiodini, Juha Sorva, Arto Hellas, Otto Seppälä, Matthias Hauswirth:
Two Approaches for Programming Education in the Domain of Graphics: An Experiment. - Marina Shimchenko, Erik Österlund, Tobias Wrigstad:
Monk: Opportunistic Scheduling to Delay Horizontal Scaling. - Nahuel Palumbo, Guillermo Polito, Stéphane Ducasse, Pablo Tesone:
Meta-compilation of Baseline JIT Compilers with Druid. - Philémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher, Tijs van der Storm:
PolyDebug: A Framework for Polyglot Debugging. - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Evolution Language Framework for Persistent Objects. - Anton Risberg Alaküla, Niklas Fors, Emma Söderberg:
Study of the Use of Property Probes in an Educational Setting. - Tom Beckmann, Joana Bergsiek, Eva Krebs, Toni Mattis, Stefan Ramson, Martin C. Rinard, Robert Hirschfeld:
Probing the Design Space: Parallel Versions for Exploratory Programming. - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Consistent Distributed Reactive Programming with Retroactive Computation. - Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali:
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. - Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen:
Conversational Concurrency with Dataspaces and Facets. - Mathijs Saey, Joeri De Koster, Wolfgang De Meuter:
Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies. - Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham:
On the State of Coherence in the Land of Type Classes.
Volume 10, Number 2, 2025
- Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe:
A Type System for Data Privacy Compliance in Active Object Languages. - Hanwen Guo, Ben Greenman:
If-T: A Benchmark for Type Narrowing. - Andreas Pointner, Josef Pichler, Herbert Prähofer:
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution.
Volume 10, Number 3, 2025
- Fumika Mochizuki, Tetsuro Yamazaki, Shigeru Chiba:
BlueScript: A Disaggregated Virtual Machine for Microcontrollers. - Ashton Wiersdorf, Ben Greenman:
Chorex: Restartable, Language-Integrated Choreographies. - Bohdan Liesnikov, David Binder, Tim Süberkrüb:
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments.
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.
last updated on 2026-07-30 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
