Volume 4, Issue 3
DOI: https://doi.org/10.22152/programming-journal.org/2020/4/issue3
- Programming Paradigms, Turing Completeness and Computational Thinking
Greg Michaelson - Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Steven Costiou, Vincent Aranega, and Marcus Denker - Gavial: Programming the web with multi-tier FRP
Bob Reynders, Frank Piessens, and Dominique Devriese - Functional Programming in Pattern-Match-Oriented Programming Style
Satoshi Egi and Yuichi Nishiwaki - Foundations of a live data exploration environment
Tomas Petricek - Generating a Generic Fluent API in Java
Tomoki Nakamaru and Shigeru Chiba - Robust Contract Evolution in a TypeSafe MicroServices Architecture
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, and Lucio Ferrao - Bacatá: Notebooks for DSLs, Almost for Free
Mauricio Verano Merino, Jurgen Vinju, and Tijs van der Storm - Lightweight Lexical Test Prioritization for Immediate Feedback
Toni Mattis and Robert Hirschfeld - Sthread: In-Vivo Model Checking of Multithreaded Programs
Gene Cooperman and Martin Quinson - Did JHotDraw Respect the Law of Good Style?
A deep dive into the nature of false positives of bad code smells
Daniel Speicher - Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Johannes Mey, Thomas Kühn, René Schöne, and Uwe Assmann - Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Jeff Smits, Gabriël D.P. Konat, and Eelco Visser - Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Pascal Weisenburger and Guido Salvaneschi
