Login / Signup
Kévin Mazet
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Object Oriented Programming Language
Lightweight
Mashup
Automatic Programming
Top Venues
MEMOCODE
ICOOOLPS@ECOOP
</>
Publications
</>
Martial Chabot
,
Kévin Mazet
,
Laurence Pierre
Automatic and configurable instrumentation of C programs with temporal assertion checkers.
MEMOCODE
(2015)
Pablo Arrighi
,
Johan Girard
,
Miguel Lezama
,
Kévin Mazet
The GOOL system: a lightweight object-oriented programming language translator.
ICOOOLPS@ECOOP
(2014)