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 × USA
2 × United Kingdom
Collaborated with:
R.Berrendonner J.Kanig R.Chapman C.Comar Y.Moy E.Rees P.Courtieu M.Aponte T.Crolard Z.Zhang Robby J.Belt J.Hatcliff T.Jennings
Talks about:
explicit (2) ravenscar (1) benchmark (1) program (1) assumpt (1) toward (1) static (1) semant (1) prenup (1) formal (1)

Person: Jérôme Guitton

DBLP DBLP: Guitton:J=eacute=r=ocirc=me

Contributed to:

TAP 20142014
HILT 20132013
Ada-Europe 20052005

Wrote 3 papers:

TAP-2014-KanigCCGMR #verification
Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
AdaEurope-2005-BerrendonnerG #benchmark #metric
The ESA Ravenscar Benchmark (RB, JG), pp. 260–271.

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.