Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
15
15
h-index
2
2
i10-index
1
1
0
12
6
2022
2023
2024
1
11
3
Medförfattare
Arthur Charguéraud
Inria
Verifierad e-postadress på inria.fr
François Pottier
Inria Paris
Verifierad e-postadress på inria.fr
Sam Westrick
Carnegie Mellon University
Verifierad e-postadress på cs.cmu.edu
Stephanie Balzer
Carnegie Mellon University
Verifierad e-postadress på cs.cmu.edu
Yann Régis-Gianas
IRIF, CNRS, INRIA, Paris Diderot University
Verifierad e-postadress på pps.univ-paris-diderot.fr
Följ
Alexandre Moine
Inria Paris
Verifierad e-postadress på inria.fr -
Startsida
computer science
formal verification
separation logic
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
11
2023
Specification and Verification of a Transient Stack
A Moine, A Charguéraud, F Pottier
International Conference on Certified Programs and Proofs (CPP)
, 2022
3
2022
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331
, 2024
1
2024
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen