Author:
Chan Ngo Van,Talpin Jean-Pierre,Gautier Thierry
Publisher
Springer International Publishing
Reference16 articles.
1. Aubry, P., Guernic, P.L., Machard, S.: Synchronous distribution of signal programs. In: Proceedings of the 29th Hawaii International Conference on System Sciences, vol. 1, pp. 656–665. IEEE Computer Society Press (1996)
2. Ballance, R., Maccabe, A., Ottenstei, K.: The program dependence web: A representation supporting control, data, and demand driven interpretation of imperative languages. In: Proc. of the SIGPLAN 1990 Conference on Programming Language Design and Implementation, pp. 257–271 (1990)
3. Benveniste, A., Guernic, P.L.: Hybrid dynamical systems theory and the signal language. IEEE Transactions on Automatic Control 35(5), 535–546 (1990)
4. Besnard, L., Gautier, T., Guernic, P.L., Talpin, J.-P.: Compilation of polychronous data-flow equations. In: Synthesis of Embedded Software, pp. 01–40. Springer (2010)
5. Blazy, S.: Which c semantics to embed in the front-end of a formally verified compiler? In: Tools and Techniques for Verification of System Infrastructure, TTVSI (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation;ACM Transactions on Embedded Computing Systems;2023-09-09
2. Mechanized semantics and verified compilation for a dataflow synchronous language with reset;Proceedings of the ACM on Programming Languages;2020-01
3. A refinement-based compiler development for synchronous languages;Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design;2017-09-29
4. A formally verified compiler for Lustre;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14