![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.