Jacques Fleuriot

Identifiers

• name variant Jacques Fleuriot 0.60 · backfill

Papers (8)

1. A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference cs.PL · 2018 · author #2
2. The Boyer-Moore Waterfall Model Revisited cs.LO · 2018 · author #2
3. Correct by Construction Resource-based Process Composition cs.LO · 2018 · author #2
4. Bootstrapping LCF Declarative Proofs cs.LO · 2017 · author #3
5. Compiling Purely Functional Structured Programs cs.PL · 2017 · author #3
6. Local Lexing cs.LO · 2017 · author #3
7. Social Network Processes in the Isabelle and Coq Theorem Proving Communities cs.SI · 2016 · author #1
8. ProofPeer: Collaborative Theorem Proving cs.LO · 2014 · author #2

Mentions

• 1404.6186 #2 · backfill · confidence 0.70 Jacques Fleuriot

Frequent Coauthors

• Phil Scott 5 shared papers
• Steven Obua 5 shared papers
• Petros Papapanagiotou 3 shared papers
• David Aspinall 1 shared papers