Search Results - "Pottier, François"

Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.

Authors: Moine, Alexandre Charguéraud, Arthur Pottier, François

Source: ACM Transactions on Programming Languages & Systems; Mar2025, Vol. 47 Issue 1, p1-71, 71p

VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.

Authors: DE VILHENA, PAULO EMÍLIO POTTIER, FRANÇOIS

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-51, 51p

A Constraint-Based Approach to Guarded Algebraic Data Types.

Authors: Simonet, Vincent Pottier, François

Source: ACM Transactions on Programming Languages & Systems; January 2007, Vol. 29 Issue 1, p1-56, 56p

A Systematic Approach to Static Access Control.

Authors: Pottier, François Skalka, Christian Smith, Scott

Source: ACM Transactions on Programming Languages & Systems; March 2005, Vol. 27 Issue 2, p344-382, 39p

The Design and Formalization of Mezzo, a Permission-Based Programming Language.

Authors: BALABONSKI, THIBAUT POTTIER, FRANÇOIS PROTZENKO, JONATHAN

Source: ACM Transactions on Programming Languages & Systems; Aug2016, Vol. 38 Issue 4, p1-94, 94p

Syntactic soundness proof of a type-and-capability system with hidden state.

Authors: POTTIER, FRANÇOIS¹ Francois.Pottier@inria.fr

Source: Journal of Functional Programming. Jan2013, Vol. 23 Issue 1, p38-144. 107p.

A unified treatment of syntax with binders.

Authors: POUILLARD, NICOLAS POTTIER, FRANÇOIS

Source: Journal of Functional Programming. Sep2012, Vol. 22 Issue 4/5, p614-704. 91p.

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits.

Authors: Charguéraud, Arthur Pottier, François

Source: Journal of Automated Reasoning. Mar2019, Vol. 62 Issue 3, p331-365. 35p.

A step-indexed Kripke model of hidden state.

Authors: SCHWINGHAMMER, JAN BIRKEDAL, LARS POTTIER, FRANÇOIS et al.

Source: Mathematical Structures in Computer Science; Feb2013, Vol. 23 Issue 1, p1-54, 54p

À GAUCHE NORMES IFRS, À DROITE NORMES FRANÇAISES.

Authors: Pottier, François

Source: Banque Magazine / Revue Banque. Jan2006, Issue 676, p114-114. 1/4p.