Modular Reasoning about Global Variables and Their Initialization. - João C. Pereira; Isaac van Bakel; Patricia Firlejczyk; Marco Eilers; Peter Müller 001 (Proc. ACM Program. Lang., 2025)

Artifact for Modular Reasoning about Global Variables and Their Initialization. - João C. Pereira; Marco Eilers; Isaac van Bakel; Peter Müller 001; Patricia Firlejczyk (Zenodo, 2025)