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 × Greece
1 × Hungary
1 × Japan
1 × United Kingdom
Collaborated with:
J.Signoles N.Kosmatov S.Boulmé P.Cuoq F.Kirchner B.Yakobowski P.Baudin R.Bonichon G.Canet L.Correnson B.Monate A.Puccetti
Talks about:
analysi (2) proof (2) frama (2) framework (1) strength (1) perspect (1) industri (1) softwar (1) program (1) context (1)

Person: Virgile Prevosto

DBLP DBLP: Prevosto:Virgile

Contributed to:

TAP 20132013
SEFM 20122012
ICFP 20092009
TLCA 20052005

Wrote 4 papers:

TAP-2013-KosmatovPS #proving #source code #tutorial
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
SEFM-2012-CuoqKKPSY #analysis #named #perspective
Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
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.
TLCA-2005-PrevostoB #proving
Proof Contexts with Late Binding (VP, SB), pp. 324–338.

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.