Julien Signoles, Khaoula Boukir, Amine Nasri. ATLAS: From Access conTrol Language to ACSL Specifications. In L. Thomas van Binsbergen, Daniel Strüber 0001, Lionel Parreaux, editors, Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2026, Brussels, Belgium, 29 June 2026. pages 15-26, ACM, 2026. [doi]
Abstract is missing.