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

Title Page

Article: progjb24foreword-fm000-p doi:10.22152/programming-journal.org/2024/8/0

Editorial Message

Article: progjb24foreword-fm001-p doi:10.22152/programming-journal.org/2024/8/0

Sponsors

Article: progjb24foreword-fm003-p doi:10.22152/programming-journal.org/2024/8/0

The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, and José Valim
(IRIF - Université Paris Cité - CNRS, France; Remote Technology, France; Dashbit, Poland)

Publisher's Version Published Artifact Info Artifact Available v2.0 Artifact Supports Claims v2.0 Article: progjb24main-id38-p doi:10.22152/programming-journal.org/2024/8/4

Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Javier E. Pimás, Stefan Marr, and Diego Garbervetsky
(University of Buenos Aires, Argentina; University of Kent, UK)

Publisher's Version Article: progjb24main-id60-p doi:10.22152/programming-journal.org/2024/8/5

Provably Fair Cooperative Scheduling
Reiner Hähnle and Ludovic Henrio
(TU Darmstadt, Germany; Univ Lyon - EnsL - UCBL - CNRS - Inria - LIP, France)

Publisher's Version Article: progjb24main-id79-p doi:10.22152/programming-journal.org/2024/8/6

Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)

Publisher's Version Artifact Supports Claims v2.0 Article: progjb24main-id91-p doi:10.22152/programming-journal.org/2024/8/7

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Lovro Lugović and Fabrizio Montesi
(University of Southern Denmark, Denmark)

Publisher's Version Published Artifact Artifact Available v2.0 Artifact Supports Claims v2.0 Article: progjb24main-id94-p doi:10.22152/programming-journal.org/2024/8/8