Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, et al.. Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers of Computer Science -Springer-, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. <10.1007/
HAL Archives-Ouvertes,
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, et al.. Towards a verified compiler prototype for the…