|
Search the dblp DataBase
Olivier Hainque:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2002, pp:193-204 [Conf]
- Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
The SPIF Project. [Citation Graph (0, 0)][DBLP] Ada-Europe, 1997, pp:46-55 [Conf]
- Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1836-1853 [Conf]
Search in 0.001secs, Finished in 0.001secs
|