Marc Pouzet

Etudes supérieures

Static Typing and Compilation of a Synchronous Hybrid Language

Marc Pouzet

Rapports de stage

Formal translation validation between synchronous data flow equations and application to a Lustre

Marc Pouzet

Cours

Lucid Synchrone Release version

Marc Pouzet

Cours

Clocks as Types in Synchronous Dataflow Languages

Marc Pouzet

Cours

A Conservative Extension of Synchronous

Marc Pouzet