References

  1. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic & R. De Simone (2003): The Synchronous Languages 12 Years Later. Proceedings of the IEEE 91(1), pp. 64–83, doi:10.1109/jproc.2002.805826.
  2. A. Benveniste, P. Le Guernic & C. Jacquemot (1991): Synchronous Programming with Events and Relations: the SIGNAL Language and its Semantics. Science of Computer Programming 16(2), pp. 103–149, doi:10.1016/0167-6423(91)90001-e.
  3. G. Berry & G. Gonthier (1992): The Esterel Synchronous Programming Language. Science of Computer Programming 19(2), pp. 87–152, doi:10.1016/0167-6423(92)90005-v.
  4. P. Caspi, D. Pilaud, N. Halbwachs & J. A. Plaice (1987): LUSTRE: a declarative language for real-time programming. In: Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), doi:10.1145/41625.41641.
  5. Edmund M Clarke & Paolo Zuliani (2011): Statistical model checking for cyber-physical systems. In: Automated Technology for Verification and Analysis. Springer, pp. 1–12, doi:10.1007/978-3-642-24372-1_1.
  6. Julien Forget, Frédéric Boniol, David Lesens & Claire Pagetti (2008): A Multi-Periodic Synchronous Data-Flow Language. In: 2008 11th IEEE High Assurance Systems Engineering Symposium. Institute of Electrical and Electronics Engineers (IEEE), doi:10.1109/hase.2008.47.
  7. N. Halbwachs, F. Lagnier & C. Ratel (1992): Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. Software Engineering, IEEE Transactions on 18(9), pp. 785–793, doi:10.1109/32.159839.
  8. Kohei Honda (1993): Types for dyadic interaction. In: CONCUR'93. Springer, pp. 509–523, doi:10.1007/3-540-57208-2_35.
  9. Patrick M Rondon, Ming Kawaguci & Ranjit Jhala (2008): Liquid types. In: ACM SIGPLAN Notices 43. ACM, pp. 159–169, doi:10.1145/1379022.1375602.
  10. Jean-Pierre Talpin, Pierre Jouvelot & Sandeep Kumar Shukla (2015): Towards refinement types for time-dependent data-flow networks. In: Formal Methods and Models for Codesign, 2015 ACM/IEEE International Conference on. IEEE, pp. 36–41, doi:10.1109/memcod.2015.7340465.
  11. Hongwei Xi (2004): Applied Type System (extended abstract). In: post-workshop Proceedings of TYPES 2003. Springer-Verlag LNCS 3085, pp. 394–408, doi:10.1007/978-3-540-24849-1_25.
  12. Hongwei Xi (2007): Dependent ML: An approach to practical programming with dependent types. Journal of Functional Programming 17(2), pp. 215–286, doi:10.1017/s0956796806006216.
  13. Hongwei Xi & Frank Pfenning (1999): Dependent Types in Practical Programming. In: Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages, doi:10.1145/292540.292560.
  14. Eugene Yip, Matthew MY Kuo, Partha S Roop & David Broman (2014): Relaxing the synchronous approach for mixed-criticality systems. In: Real-Time and Embedded Technology and Applications Symposium, 2014 IEEE 20th. IEEE, pp. 89–100, doi:10.1109/rtas.2014.6925993.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org