BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × United Kingdom
Collaborated with:
P.Cuoq B.Monate J.Signoles P.Baudin R.Bonichon L.Correnson V.Prevosto A.Puccetti
Talks about:
analysi (2) framework (1) strength (1) industri (1) program (1) static (1) report (1) experi (1) valu (1) caml (1)

Person: Géraud Canet

DBLP DBLP: Canet:G=eacute=raud

Contributed to:

ICFP 20092009
SCAM 20092009

Wrote 2 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.
SCAM-2009-CanetCM #analysis #c #source code
A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.