Search the dblp DataBase

Publications of Author

1. Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
   Towards a higher-order synchronous data-flow language. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2004, pp:230-239 [Conf]
   
2. Jean-Louis Colaço, Marc Pouzet
   Clocks as First Class Abstract Types. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:134-155 [Conf]
   
3. Jean-Louis Colaço, Bruno Pagano, Marc Pouzet
   A conservative extension of synchronous data-flow with state machines. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:173-182 [Conf]
   
4. Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
   Mixing signals and modes in synchronous data-flow systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2006, pp:73-82 [Conf]
   
5. Jean-Louis Colaço, Marc Pouzet
   Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
6. Jean-Louis Colaço, Marc Pouzet
   Type-based initialization analysis of a synchronous dataflow language. [Citation Graph (0, 0)][DBLP]
   STTT, 2004, v:6, n:3, pp:245-255 [Journal]
   
7. 
   Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. [Citation Graph (, )][DBLP]
   
   
8. 
   Synchronous objects with scheduling policies: introducing safe shared memory in lustre. [Citation Graph (, )][DBLP]
   
   
9. 
   Clock-directed modular code generation for synchronous data-flow languages. [Citation Graph (, )][DBLP]
   
   
10. 
    Certified Development Tools Implementation in Objective Caml. [Citation Graph (, )][DBLP]