Travelled to:1 × Denmark
1 × Japan
1 × Serbia
2 × Spain
Collaborated with:D.Kesner ∅ E.Contejean P.Courtieu O.Pons X.Urbain G.Barthe D.Pichardie V.Rusu A.Paskevich
Talks about:proof (3) pattern (2) certifi (2) autom (2) substitut (1) function (1) explicit (1) calculus (1) approach (1) practic (1)
Person: Julien Forest
DBLP: Forest:Julien
Contributed to:
2011
2010
200620032002Wrote 5 papers:
- RTA-2011-ContejeanCFPU #automation #proving
- Automated Certified Proofs with CiME3 (EC, PC, JF, OP, XU), pp. 21–30.
- PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination
- A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
- FLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
- RTA-2003-ForestK #reduction
- Expression Reduction Systems with Patterns (JF, DK), pp. 107–122.
- RTA-2002-Forest #calculus #pattern matching
- A Weak Calculus with Explicit Operators for Pattern Matching and Substitution (JF), pp. 174–191.