Prati
Alexandre Moine
Naslov
Citirano
Citirano
Godina
A High-Level Separation Logic for Heap Space under Garbage Collection
A Moine, A Charguéraud, F Pottier
Proceedings of the ACM on Programming Languages 7 (POPL), 2023
172023
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
32024
Specification and Verification of a Transient Stack
A Moine, A Charguéraud, F Pottier
International Conference on Certified Programs and Proofs (CPP), 2022
32022
Snapshottable Stores
C Allain, B Clément, A Moine, G Scherer
Proceedings of the ACM on Programming Languages 8 (ICFP), 338-369, 2024
12024
Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection
A Moine, A Charguéraud, F Pottier
ACM Transactions on Programming Languages and Systems, 2025
2025
Détection de définitions OCaml similaires (ou comment ne plus voir double à dos de chameau)
A Moine, Y Régis-Gianas
Journées Francophones des Langages Applicatifs (JFLA), 144, 2020
2020
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–6