External Links

    Journal: Programming Journal

    Volume 8, Issue 1

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