The Art, Science, and Engineering of Programming
ℹ︎
Upcoming Submission Deadline: February 1, 2025
Volume 5, Issue 2
DOI:
https://doi.org/10.22152/programming-journal.org/2021/5/issue2
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, and Bernd Freisleben
Prioritising Server Side Reachability via Inter-process Concolic Testing
Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, and Coen De Roover
Consistency types for replicated data in a higher-order distributed programming language
Xin Zhao and Philipp Haller
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
Hsiang-Shang Ko
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Michail Papadimitriou, Juan Fumero, Athanasios Stratikopoulos, Foivos S. Zakkak, and Christos Kotselidis
Advanced Join Patterns for the Actor Model based on CEP Techniques
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
Lake symbols for island parsing
Katsumi Okuda and Shigeru Chiba
User Studies
Using Relational Problems to Teach Property-Based Testing
John Wrenn, Tim Nelson, and Shriram Krishnamurthi
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