Towards a verified compiler prototype for the synchronous language SIGNAL
YANG, Zhibin, BODEVEIX, Jean-Paul, FILALI, Mamoun, HU, Kai, ZHAO, Yongwang, MA, Dianfu
Published in Frontiers of Computer Science (01.02.2016)
Published in Frontiers of Computer Science (01.02.2016)
Get full text
Journal Article