Volume 7, Issue 2

DOI: https://doi.org/10.22152/programming-journal.org/2023/7/issue2

4. Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
   Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
5. Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
   Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
6. A Theory of Composing Protocols
   Laura Bocchi, Dominic Orchard, and A. Laura Voinea
7. Little Tricky Logic: Misconceptions in the Understanding of LTL
   Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi