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: Comar:Cyrille
Contributed to:
2014
2012
19971994Wrote 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.