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

Programming Journal, Volume 7, Issue 2 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

Papers

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 Published Artifact Artifact Reusable
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben GreenmanORCID logo, Sam SaarinenORCID logo, Tim Nelson ORCID logo, and Shriram Krishnamurthi ORCID logo
(Brown University, USA)
Publisher's Version Published Artifact Artifact Reusable

proc time: 0.88