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 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:
Y.Moy B.Porter J.F.Ruiz G.Dismukes F.Gasperoni J.Kanig R.Chapman J.Guitton E.Rees
Talks about:
gnat (2) ada (2) implement (1) explicit (1) artifact (1) virtual (1) program (1) develop (1) assumpt (1) target (1)

Person: Cyrille Comar

DBLP DBLP: Comar:Cyrille

Contributed to:

TAP 20142014
Ada-Europe 20122012
TRI-Ada 19971997
TRI-Ada 19941994

Wrote 4 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.
AdaEurope-2012-RuizCM #ada #development #source code
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
TRI-Ada-1997-ComarDG #java #virtual machine
Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
TRI-Ada-1994-ComarP #ada #implementation
Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.

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.