Gaspard Férey

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 3

Top Topics

Monotonicity Constraints

Top Venues

Math. Struct. Comput. Sci.

Publications

Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs. Math. Struct. Comput. Sci. 32 (7) (2022)
Gaspard Férey, Jean-Pierre Jouannaud
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. PPDP (2021)
Gaspard Férey, Natarajan Shankar
Code Generation Using a Formal Model of Reference Counting. NFM (2016)
Sylvain Colin, Benjamin Doerr, Gaspard Férey
Monotonic functions in EC: anything but monotone! GECCO (2014)