Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-25 05:29 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
