The Art, Science, and Engineering of Programming
ℹ︎
Upcoming Submission Deadline: February 1, 2025
Volume 7, Issue 2
Volume 7, Issue 2: Reviewers
Volume 7, Issue 2
DOI:
https://doi.org/10.22152/programming-journal.org/2023/7/issue2
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, and A. Laura Voinea
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, 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