Search Results

Thunks and Debits in Separation Logic with Time Credits

• Authors : Pottier, François; Guéneau, Armaël; Jourdan, Jacques-Henri ...

Subjects: Program verification; Separation logic; Time complexityLondres; United Kingdom

• Source: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04238691 ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of

Record details

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

• Authors : de Vilhena, Paulo Emílio; Pottier, François

Subjects: Computer Science - Logic in Computer Science; Computer Science - Programming Languages

• Source: Logical Methods in Computer Science, Volume 19, Issue 4 (October 23, 2023) lmcs:8851

Record details

A Type System for Effect Handlers and Dynamic Labels

• Authors : de Vilhena, Paulo Emílio; Pottier, François;

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Paris; France

• Source: Lecture Notes in Computer Science ; European Symposium on Programming ; https://inria.hal.science/hal-03886668 ; European Symposium on Programming, Apr 2023, Paris, France. pp.225-252,

Record details

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

• Authors : de Vilhena, Paulo, Emílio; Pottier, François;

Subjects: Automatic differentiation; Separation logic; Effect handlers

• Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-04292453 ; Logical Methods in Computer Science, 2023, 19 (4), pp.51. ⟨10.46298/lmcs-19(4:5)2023⟩

Record details

Artifact for 'Thunks and Debits in Separation Logic with Time Credits' ...

• Authors : Pottier, François; Guéneau, Armaël; Jourdan, Jacques-Henri

Record details

Specification and Verification of a Transient Stack

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

Subjects: Program verification; Program specification; Separation LogicUnited StatesPhiladelphia, United States

• Source: CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03472028 ; CPP 2022 - 11th ACM SIGPLAN International Conference on Certified

Record details

A High-Level Separation Logic for Heap Space under Garbage Collection - Artifact ...

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

Record details

A Separation Logic for Heap Space under Garbage Collection

• Authors : Madiot, Jean-Marie; Pottier, François;

Subjects: CCS Concepts: • Theory of computation → Separation logic; Separation logic; Tracing garbage collection

• Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-03478162 ; Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498672⟩.

Record details

A High-Level Separation Logic for Heap Space under Garbage Collection

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

Subjects: Tracing garbage collection; Live data; Program verification

• Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-03852060 ; Proceedings of the ACM on Programming Languages, 2022, POPL, 7,

Record details

Strong Automated Testing of OCaml Libraries

• Authors : Pottier, François;

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Saint Médard d’Excideuil; France

• Source: JFLA 2021 - 32es Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03049511 ; JFLA 2021 - 32es Journées Francophones des Langages Applicatifs, Feb 2021, Saint Médard

Record details