default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Art, Science, and Engineering of Programming, Volume 5
Volume 5, Number 1, 2021
- Stefan Monnier:
SMIE: Weakness is Power! - Auto-indentation with incomplete information. 1 - Bertrand Petit, Manuel Serrano:
Interactive Music and Synchronous Reactive Programming -. 2 - Tim Soethout
, Tijs van der Storm, Jurgen J. Vinju:
Path-Sensitive Atomic Commit - Local Coordination Avoidance for Distributed Transactions. 3
Volume 5, Number 2, 2021
- Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben:
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. 4 - Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Prioritising Server Bugs via Inter-process Concolic Testing. 5 - Xin Zhao, Philipp Haller:
Consistency types for replicated data in a higher-order distributed programming language. 6 - Hsiang-Shang Ko:
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design. 7 - Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, Christos Kotselidis:
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs. 8 - Humberto Rodríguez-Avila, Joeri De Koster, Wolfgang De Meuter:
Advanced Join Patterns for the Actor Model based on CEP Techniques. 10 - Katsumi Okuda, Shigeru Chiba:
Lake symbols for island parsing. 11
- John Wrenn, Tim Nelson, Shriram Krishnamurthi:
Using Relational Problems to Teach Property-Based Testing. 9
Volume 5, Number 3, 2021
- Steven W. T. Cheung, Dan R. Ghica, Koko Muroya:
Transparent Synchronous Dataflow. 12 - Janice Chin, David Pearce:
Finding Bugs with Specification-Based Testing is Easy! 13 - Dominik Aumayr, Stefan Marr, Sophie Kaleba, Elisa Gonzalez Boix, Hanspeter Mössenböck:
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay. 14
- Malin Källén, Tobias Wrigstad:
Jupyter Notebooks on GitHub: Characteristics and Code Clones. 15
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 2024-11-26 20:45 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
