| |
Aranega, Vincent
|
Art Sci. Eng. Program., vol. 8, issue 1: "A VM-Agnostic and Backwards ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/2
|
| |
Cooperman, Gene
|
Art Sci. Eng. Program., vol. 8, issue 1: "McMini: A Programmable DPOR-Based ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/1
|
| |
Ducasse, Stéphane
|
Art Sci. Eng. Program., vol. 8, issue 1: "A VM-Agnostic and Backwards ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/2
|
| |
Jovanovic, Luka
|
Art Sci. Eng. Program., vol. 8, issue 1: "McMini: A Programmable DPOR-Based ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/1
|
| |
Ouedraogo, Wendlasida
|
Art Sci. Eng. Program., vol. 8, issue 1: "Coqlex: Generating Formally ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/3
|
| |
Pirtle, Maxwell
|
Art Sci. Eng. Program., vol. 8, issue 1: "McMini: A Programmable DPOR-Based ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/1
|
| |
Polito, Guillermo |
Art Sci. Eng. Program., vol. 8, issue 1: "A VM-Agnostic and Backwards ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/2
|
| |
Scherer, Gabriel
|
Art Sci. Eng. Program., vol. 8, issue 1: "Coqlex: Generating Formally ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/3
|
| |
Strassburger, Lutz |
Art Sci. Eng. Program., vol. 8, issue 1: "Coqlex: Generating Formally ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/3
|
| |
Tesone, Pablo
|
Art Sci. Eng. Program., vol. 8, issue 1: "A VM-Agnostic and Backwards ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/2
|
| |
Thomas, Iona |
Art Sci. Eng. Program., vol. 8, issue 1: "A VM-Agnostic and Backwards ..."
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 (type: Full Paper) doi:10.22152/programming-journal.org/2024/8/2
|