Volume 8, Issue 1

DOI: https://doi.org/10.22152/programming-journal.org/2024/8/issue1

  1. McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
    Maxwell Pirtle, Luka Jovanovic, and Gene Cooperman
  2. A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
    Iona Thomas, Vincent Aranega, Stéphane Ducasse, Guillermo Polito, and Pablo Tesone
  3. Coqlex: Generating Formally Verified Lexers
    Wendlasida Ouedraogo, Gabriel Scherer, and Lutz Strassburger