Volume 7, Issue 2

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

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