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

PROGJA – Journal Issue

Contents - Abstracts - Authors


Title Page
Message from the Chairs


McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Maxwell Pirtle ORCID logo, Luka Jovanovic ORCID logo, and Gene CoopermanORCID logo
(Northeastern University, USA)
Publisher's Version
A VM-Agnostic and Backwards Compatible Protected Modifier for Dynamically-Typed Languages
Iona Thomas ORCID logo, Vincent Aranega ORCID logo, Stéphane DucasseORCID logo, Guillermo Polito ORCID logo, and Pablo Tesone ORCID logo
(University of Lille, France; Inria, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France)
Publisher's Version
Coqlex: Generating Formally Verified Lexers
Wendlasida Ouedraogo ORCID logo, Gabriel SchererORCID logo, and Lutz StrassburgerORCID logo
(Siemens Mobility, France; Inria, France; École Polytechnique, France)
Publisher's Version

proc time: 0.72