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

Title Page

Message from the Chairs

Committees

Sponsors

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

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

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

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