The Art, Science, and Engineering of Programming
ℹ︎
Upcoming Submission Deadline: February 1, 2025
Volume 4, Issue 3
Volume 4, Issue 3: Reviewers
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
Toggle navigation
Volume 9, Issue 1
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1
About
Purpose
Boards
Awards
Publisher
Volumes
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Article feed (atom)
Article feed (RSS)
The Journal
About
Purpose and Operation
Boards
Awards
Publisher
Volumes
For Authors
Call for Papers
Artifact Evaluation
Timeline
Submissions
Copyright
Issues
Volume 9, Issue 1
Volume 8, Issue 3
Volume 8, Issue 2
Volume 8, Issue 1
Volume 7, Issue 3
Volume 7, Issue 2
Volume 7, Issue 1
Volume 6, Issue 3
Volume 6, Issue 2
Volume 6, Issue 1
Volume 5, Issue 3
Volume 5, Issue 2
Volume 5, Issue 1
Volume 4, Issue 3
Volume 4, Issue 2
Volume 4, Issue 1
Volume 3, Essays
Volume 3, Issue 3
Volume 3, Issue 2
Volume 3, Issue 1
Volume 2, Issue 3
Volume 2, Issue 2
Volume 2, Issue 1
Volume 1, Issue 2
Volume 1, Issue 1