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

PROGJA – Journal Issue

 Contents - Abstracts - Authors

Frontmatter

Title Page
Article: progja24foreword-fm000-p doi:10.22152/programming-journal.org/2024/8/0
Message from the Chairs
Article: progja24foreword-fm001-p doi:10.22152/programming-journal.org/2024/8/0
Committees
Article: progja24foreword-fm002-p doi:10.22152/programming-journal.org/2024/8/0
Sponsors
Article: progja24foreword-fm003-p doi:10.22152/programming-journal.org/2024/8/0

Papers

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Maxwell Pirtle, Luka Jovanovic, and Gene Cooperman
(Northeastern University, USA)
Publisher's Version Article: progja24main-p5-p doi:10.22152/programming-journal.org/2024/8/1
A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
Iona Thomas, Vincent Aranega, Stéphane Ducasse, Guillermo Polito, and Pablo Tesone
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
Publisher's Version Article: progja24main-p24-p doi:10.22152/programming-journal.org/2024/8/2
Coqlex: Generating Formally Verified Lexers
Wendlasida Ouedraogo, Gabriel Scherer, and Lutz Strassburger
(Siemens Mobility, France; Inria, France; École Polytechnique, France)
Publisher's Version Article: progja24main-p59-p doi:10.22152/programming-journal.org/2024/8/3

proc time: 0.01