salle A. Turing CE4
6 mars 2013 - 14h00
Zélus: A Synchronous Language with ODEs
par Marc Pouzet de UPMC / ENS
Abstract: In this talk, I will overview the design, semantics and implementation
of a synchronous language that mixes difference equations, hierarchical automata
and ODEs.
