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
2 × United Kingdom
Collaborated with:
P.Cuoq G.Canet E.Contejean A.Coste J.Signoles P.Baudin R.Bonichon L.Correnson V.Prevosto A.Puccetti
Talks about:
analysi (2) framework (1) techniqu (1) strength (1) industri (1) theoret (1) program (1) static (1) rewrit (1) report (1)

Person: Benjamin Monate

DBLP DBLP: Monate:Benjamin

Contributed to:

ICFP 20092009
SCAM 20092009
RTA 20002000

Wrote 3 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.
RTA-2000-ContejeanCM #physics
Rewriting Techniques in Theoretical Physics (EC, AC, BM), pp. 80–94.

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.