References

[1]

E. A. Ashcroft and W. W. Wadge. Lucid, a non procedural language with iteration. Communications of the ACM, 20(7):519–526, 1977.

[2]

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES’11), Chicago, USA, April 2011.

[3]

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code. In ACM SIGPLAN/SIGBED Conference on Embedded Software (EMSOFT’11), Taipei, Taiwan, October 2011.

[4]

A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103–149, 1991.

[5]

G. Berry. The Esterel v5 language primer, version 5.21 release 2.0. Draft book, 1999.

[6]

T. Bourke and M. Pouzet. Zélus, a Synchronous Language with ODEs. In International Conference on Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, USA, April 2013. ACM.

[7]

Timothy Bourke and Arcot Sowmya. Delays in Esterel. In Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden, editors, 16th Open International Workshop on Synchrononous Programming (SYNCHRON 2009), number 09481 in Dagstuhl Seminar Proceedings, pages 55–84, Dagstuhl, Germany, 2010. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany.

[8]

P. Caspi, G. Hamon, and M. Pouzet. Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, chapter Synchronous Functional Programming with Lucid Synchrone. ISTE Ltd, 2007.

[9]

J.-L. Colaço, B. Pagano, and M. Pouzet. A conservative extension of synchronous data-flow with state machines. In ACM International Conference on Embedded Software (EMSOFT’05), Jersey city, New Jersey, USA, September 2005.

[10]

J.-L. Colaço and M. Pouzet. Type-based initialization analysis of a synchronous data-flow language. International Journal on Software Tools for Technology Transfer (STTT), 6(3):245–255, August 2004.

[11]

G. Dahlquist and Å. Björck. Numerical Methods in Scientific Computing: Volume 1. SIAM, 2008.

[12]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.

[13]

A. C. Hindmarsh, P. N. Brown, K. E. Grant, S. L. Lee, R. Serban, D. E. Shumaker, and C. S. Woodward. SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers. ACM Transactions on Mathematical Software, 31(3):363–396, September 2005.

[14]

R. Lublinerman, C. Szegedy, and S. Tripakis. Modular code generation from synchronous block diagrams—modularity vs. code size. In ACM Principles of Programming Languages (POPL), 2009.

[15]

O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, volume 600 of LNCS, pages 447–484. Springer, 1992.

[16]

F. Maraninchi and Y. Rémond. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, 46:219–254, 2003.

[17]

M. Pouzet and P. Raymond. Modular static scheduling of synchronous data-flow networks: An efficient symbolic representation. In ACM International Conference on Embedded Software (EMSOFT’09), Grenoble, France, October 2009.

[18]

L. F. Shampine, I. Gladwell, and S. Thompson. Solving ODEs with Matlab. Cambridge University Press, 2003.