Travelled to:
1 × Italy
1 × United Kingdom
2 × France
Collaborated with:
É.Duris D.Parigot G.Roussel P.Cuoq J.Signoles P.Baudin R.Bonichon G.Canet B.Monate V.Prevosto A.Puccetti
Talks about:
deforest (2) program (2) transform (1) framework (1) strength (1) industri (1) function (1) attribut (1) grammar (1) analysi (1)
Person: Loïc Correnson
DBLP: Correnson:Lo=iuml=c
Contributed to:
Wrote 4 papers:
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- PPDP-1999-CorrensonDPR #case study #declarative #deforestation #program transformation
- Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
- SAS-1999-CorrensonDPR #equation #semantics
- Equational Semantics (LC, ÉD, DP, GR), pp. 264–283.
- SAS-1997-CorrensonDPR #attribute grammar #deforestation #functional #programming
- Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.