( en | de | ru )

 

Disambiguation of "Pottier, François"

Author of the publication

copydeleteadd this publication to your clipboard
The essence of monotonic state.

, and . TLDI, page 73-86. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

François Weirich

François Elvinger

François Franceschi

François Melis

François Guers

 

Other publications of authors with the same name

A High-Level Separation Logic for Heap Space under Garbage Collection., , and . Proc. ACM Program. Lang., 7 (POPL): 718-747 (January 2023)A separation logic for heap space under garbage collection., and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)The essence of monotonic state., and . TLDI, page 73-86. ACM, (2011)Verifying a hash table and its iterators in higher-order separation logic.. CPP, page 3-16. ACM, (2017)Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation., and . ITP, volume 9236 of Lecture Notes in Computer Science, page 137-153. Springer, (2015)A Systematic Approach to Static Access Control., , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 30-45. Springer, (2001)Verifying a Minimalist Reverse-Mode AD Library., and . CoRR, (2021)Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library., and . Log. Methods Comput. Sci., (2023)Producing all ideals of a forest, functionally., and . J. Funct. Program., 13 (5): 945-956 (2003)Information flow inference for free., and . ICFP, page 46-57. ACM, (2000)SIGPLAN Notices 35(9), September 2000.