Programming Journal, Volume 7, Issue 2
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

PROGJB – Journal Issue

Contents - Abstracts - Authors


Title Page
Message from the Chairs


Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui ORCID logo, Jaakko JärviORCID logo, and Magne Haveraaen
(University of Bergen, Norway; University of Turku, Finland)
Publisher's Version
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo ORCID logo, Matteo MarraORCID logo, Jim Bauwens ORCID logo, and Elisa Gonzalez Boix ORCID logo
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
A Theory of Composing Protocols
Laura Bocchi ORCID logo, Dominic Orchard ORCID logo, and A. Laura Voinea ORCID logo
(University of Kent, UK; University of Cambridge, UK; University of Glasgow, UK)
Publisher's Version Artifact Reusable
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman ORCID logo, Sam SaarinenORCID logo, Tim Nelson ORCID logo, and Shriram Krishnamurthi ORCID logo
(Brown University, USA)
Publisher's Version Artifact Reusable

proc time: 0.99