Experience report: OCaml for an industrial-strength static analysis framework
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
Experience report: OCaml for an industrial-strength static analysis framework
ICFP, 2009.

ICFP 2009
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICFP-2009-CuoqSBBCCMPP,
	author        = "Pascal Cuoq and Julien Signoles and Patrick Baudin and Richard Bonichon and Géraud Canet and Loïc Correnson and Benjamin Monate and Virgile Prevosto and Armand Puccetti",
	booktitle     = "{Proceedings of the 14th International Conference on Functional Programming}",
	doi           = "10.1145/1596550.1596591",
	editor        = "Graham Hutton and Andrew P. Tolmach",
	isbn          = "978-1-60558-332-7",
	pages         = "281--286",
	publisher     = "{ACM}",
	title         = "{Experience report: OCaml for an industrial-strength static analysis framework}",
	year          = 2009,
}

Tags:



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.