Nov 11, 2015 · This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation ( ...

This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation (named S-CGA, a ...

Apr 6, 2016 · In this section, we first introduce the basic con- cepts and the abstract syntax of the SIGNAL language, and then we present the semantics ...

This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation (named S-CGA, a ...

This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation (named S-CGA, a ...

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma: Towards a verified compiler prototype for the synchronous language SIGNAL.

Towards a verified compiler prototype for the synchronous · language SIGNAL. Frontiers of Computer Science, 2016, 10(1):37–53. Zhibin YANG, Jean-Paul BODEVEIX ...

摘要. SIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, ...

This paper reports a key step of a verified SIGNAL compiler prototype, that is the transformation from a subset of SIGNAL to S-CGA (a variant of clocked guarded ...

Towards a verified compiler prototype for the synchronous language SIGNAL ... This paper reports a key step of a verified SIGNAL compiler prototype, that ...