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 4
Volume 4, Number 1, 2020
- Beatrice Åkerblom, Elias Castegren
, Tobias Wrigstad:
Reference Capabilities for Safe Parallel Array Programming. 1
Volume 4, Number 2, 2020
- Hongki Lee, Changhee Park, Sukyoung Ryu:
Automatically Tracing Imprecision Causes in JavaScript Static Analysis. 2 - Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore:
Fine-Grained, Language-Based Access Control for Database-Backed Applications. 3
Volume 4, Number 3, 2020
- Greg Michaelson:
Programming Paradigms, Turing Completeness and Computational Thinking. 4 - Steven Costiou, Vincent Aranega, Marcus Denker:
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use. 5 - Bob Reynders, Frank Piessens, Dominique Devriese:
Gavial: Programming the web with multi-tier FRP. 6 - Satoshi Egi, Yuichi Nishiwaki:
Functional Programming in Pattern-Match-Oriented Programming Style. 7 - Tomas Petricek:
Foundations of a live data exploration environment. 8 - Tomoki Nakamaru, Shigeru Chiba:
Generating a Generic Fluent API in Java. 9 - João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão:
Robust Contract Evolution in a TypeSafe MicroServices Architecture. 10 - Mauricio Verano Merino, Jurgen J. Vinju, Tijs van der Storm:
Bacatá: Notebooks for DSLs, Almost for Free. 11 - Toni Mattis, Robert Hirschfeld:
Lightweight Lexical Test Prioritization for Immediate Feedback. 12 - Gene Cooperman, Martin Quinson:
Sthread: In-Vivo Model Checking of Multithreaded Programs. 13 - Daniel Speicher:
Did JHotDraw respect the Law of Good Style? - An exploratory deep dive into the nature of false positives of bad code smells. 14 - Johannes Mey, Thomas Kühn, René Schöne, Uwe Assmann:
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars. 15 - Jeff Smits, Gabriël D. P. Konat, Eelco Visser:
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. 16 - Pascal Weisenburger, Guido Salvaneschi:
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala. 17
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-06-10 21:27 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:
