Programming Journal, Volume 8, Issue 2
The Art, Science, and Engineering of Programming
Powered by
Conference Publishing Consulting

PROGJB – Journal Issue

Contents - Abstracts - Authors


Title Page
Editorial Message


The Design Principles of the Elixir Type System
Giuseppe Castagna ORCID logo, Guillaume Duboc ORCID logo, and José Valim ORCID logo
(IRIF - Université Paris Cité - CNRS, France; Remote Technology, France; Dashbit, Poland)
Live Objects All The Way Down: Removing the Barriers between Applications and Virtual Machines
Javier E. PimásORCID logo, Stefan Marr ORCID logo, and Diego GarbervetskyORCID logo
(University of Buenos Aires, Argentina; University of Kent, UK)
Provably Fair Cooperative Scheduling
Reiner HähnleORCID logo and Ludovic Henrio ORCID logo
(TU Darmstadt, Germany; Univ Lyon - EnsL - UCBL - CNRS - Inria - LIP, France)
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad ORCID logo, Ben Greenman ORCID logo, Tim Nelson ORCID logo, and Shriram Krishnamurthi ORCID logo
(Brown University, USA)
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
Lovro Lugović ORCID logo and Fabrizio Montesi ORCID logo
(University of Southern Denmark, Denmark)

proc time: 2.96