Travelled to:2 × Germany
Collaborated with:J.Couchot S.Conchon E.Contejean J.Kanig Oana Fabiana Andreescu T.P.Jensen B.Montagu
Talks about:polymorph (1) congruenc (1) solvabl (1) analysi (1) theori (1) static (1) semant (1) deduct (1) correl (1) condit (1)
Person: Stéphane Lescuyer
DBLP: Lescuyer:St=eacute=phane
Contributed to:
2007
2008
2019Wrote 3 papers:
- CADE-2007-CouchotL #automation #deduction #morphism #polymorphism
- Handling Polymorphism in Automated Deduction (JFC, SL), pp. 263–278.
- SMT-2007-ConchonCKL08 #congruence #semantics
- CC(X): Semantic Combination of Congruence Closure with Solvable Theories (SC, EC, JK, SL), pp. 51–69.
- POPL-2019-AndreescuJLM #analysis #correlation
- Inferring frame conditions with static correlation analysis (OFA, TPJ, SL, BM), p. 29.