Jean-Marie Madiot

13 papers A* 1B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formal Semantics and Program Logics for a Fragment of OCaml.
Proc. ACM Program. Lang.
Remy Seassau, Irene Yoon, Jean-Marie Madiot, François Pottier
2022 J jnl
A separation logic for heap space under garbage collection.
Proc. ACM Program. Lang.
Jean-Marie Madiot, François Pottier
2021 J jnl
Modular coinduction up-to for higher-order languages via first-order transition systems.
Log. Methods Comput. Sci.
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2020 J jnl
Modular coinduction up-to for higher-order languages via first-order transition systems.
CoRR
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2016 J jnl
Name-passing calculi: From fusions to preorders and types.
Inf. Comput.
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2015 — conf
A Behavioural Theory for a π-calculus with Preorders.
FSEN
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2015 J jnl
A behavioural theory for a π-calculus with preorders.
J. Log. Algebraic Methods Program.
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
2015 — —
Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation).
Jean-Marie Madiot
2014 B conf
Bisimulations Up-to: Beyond First-Order Transition Systems.
CONCUR
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
2014 J jnl
On Coupled Logical Bisimulation for the Lambda-Calculus.
CoRR
Ryan Kavanagh, Jean-Marie Madiot
2014 — conf
Symmetries and Dualities in Name-Passing Process Calculi.
Computing with New Resources
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2013 A* conf
Name-Passing Calculi: From Fusions to Preorders and Types.
LICS
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
2012 B conf
Duality and i/o-Types in the π-Calculus.
CONCUR
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi