A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, editors, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 137-148, ACM, 2011. [doi]

Authors

Albert Benveniste

This author has not been identified. Look up 'Albert Benveniste' in Google

Timothy Bourke

This author has not been identified. Look up 'Timothy Bourke' in Google

Benoît Caillaud

This author has not been identified. It may be one of the following persons: Look up 'Benoît Caillaud' in Google

Marc Pouzet

This author has not been identified. Look up 'Marc Pouzet' in Google