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