Programming Journal, Volume 7, Issue 2
The Art, Science, and Engineering of Programming

Title Page

Article: progjb23foreword-fm000-p doi:10.22152/programming-journal.org/2023/7/0

Message from the Chairs

Article: progjb23foreword-fm001-p doi:10.22152/programming-journal.org/2023/7/0

Committees

Article: progjb23foreword-fm002-p doi:10.22152/programming-journal.org/2023/7/0

Sponsors

Article: progjb23foreword-fm003-p doi:10.22152/programming-journal.org/2023/7/0

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
(University of Bergen, Norway; University of Turku, Finland)

Publisher's Version Article: progjb23main-p13-p doi:10.22152/programming-journal.org/2023/7/4

Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: progjb23main-p23-p doi:10.22152/programming-journal.org/2023/7/5

A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, and A. Laura Voinea
(University of Kent, UK; University of Cambridge, UK; University of Glasgow, UK)

Publisher's Version Published Artifact Artifact Reusable Article: progjb23main-p81-p doi:10.22152/programming-journal.org/2023/7/6

Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)

Publisher's Version Published Artifact Artifact Reusable Article: progjb23main-p88-p doi:10.22152/programming-journal.org/2023/7/7