 |
|
|
|
| HAL: hal-00497131, version 1 |
| DOI: 10.1016/j.entcs.2011.02.006 |
| Detailed view |  Export this paper |
|
|
| 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Paphos : Cyprus (2010) |
|
|
|
|
| Non-Intrusive Structural Coverage for Objective Caml |
|
|
| Philippe Wang 1Adrien Jonquet 1 |
|
|
| (2011) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
| hal-00497131, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00497131 | |
| oai:hal.archives-ouvertes.fr:hal-00497131 | |
| From: Philippe Wang | |
| Submitted on: Friday, 2 July 2010 15:02:28 | |
| Updated on: Wednesday, 5 October 2011 16:40:58 | |
