Towards a higher-order synchronous data-flow language

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 230-239

  Colaço, Jean Louis ^a   Hamon, Grégoire ^b   Girault, Alain ^c   Pouzet, Marc ^d  

^a ANSYS Esterel Technologies   (France)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^c INRIA RHÔNE ALPES   (France)

^d SORBONNE UNIVERSITÉ   (France)

Author keywords

Dynamic reconfiguration; Functional programming; Kahn processes; Stream functions; Synchronous data flow programming language; Type systems

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING LANGUAGES;

FUNCTIONAL PROGRAMMING; KAHN PROCESSES; STREAM FUNCTIONS; TYPE SYSTEMS;

DATA FLOW ANALYSIS;

EID: 27644574707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017753.1017792     Document Type: Conference Paper

References (26)

1. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 2nd edition, 1996.
2. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1), January 2003.
3. A. Benveniste, P. Le Guernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103-149, 1991.
4. S. Blust. SDR forum roles and global work focus on radio software download. IEICE Trans. on Communications, E85-B(12):2581-2587, December 2002.
5. G. Boudol. ULM: A core programming model for global computing. In European Symposium on Programming, ESOP'04, volume 2986 of LNCS, Barcelona, Spain, April 2004. Springer-Verlag.
6. F. Boussinot and R. de Simone. The SL synchronous language. IEEE Trans. on Software Engineering, 22(4):256-266, April 1996.
7. F. Boussinot and J.-F. Susini. The Sugarcubes tool box: A reactive Java framework. Software-Practice and Experience, 28(14):1531-1550, December 1998.
8. E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J.-B. Stefani. An open component model and its support in Java. In Int. Symposium on Component Based Software Engineering, CBSE'04, volume 3054 of LNCS, Edinburgh, Scotland, May 2004.
9. P. Caspi. Clocks in dataflow languages. Theoretical Computer Science, 94:125-140, 1992.
10. P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Trans. on Software Engineering, 25(3):416-427, May/June 1999.
11. P. Caspi and M. Pouzet. Synchronous Kahn Networks. In ACM SIGPLAN Int. Conference on Functional Programming, Philadelphia, USA, May 1996.
12. J.-L. Colaço and M. Pouzet. Type-based Initialization of a Synchronous Data-flow Language. In Synchronous Languages, Applications, and Programming, SLAP'02, volume 65.5 of ENTCS, Elsevier, 2002.
13. J.-L. Colaço and M. Pouzet. Clocks as first class abstract types. In Third Int. Conference on Embedded Software, EMSOFT'03, Philadelphia, USA, October 2003.
14. P. Cuoq and M. Pouzet. Modular causality in a synchronous stream language. In European Symposium on Programming, ESOP'01, Genova, Italy, April 2001.
15. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23th A CM Symposium on Principles of Programming Languages, POPL'96. ACM, 1996.
16. P. Le Guernic, A. Benveniste, P. Bournai, and T. Gautier. Signal: A data-flow oriented language for signal processing. IEEE-ASSP, 34(2):362-374, 1986.
17. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
18. N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In Third Int. Symposium on Programming Language Implementation and Logic Programming, PLILP'91, Passau, Germany, August 1991.
19. G. Kahn. The semantics of a simple language for parallel programming. In IFIP World Congress. North Holland, Amsterdam, 1974.
20. L.B. Michael, M. Mihaljević, S. Haruyama, and R. Kohno. Security issues for software defined radio: Design of a secure download system. IEICE Trans. on Communications, E85-B(12):2588-2600, December 2002.
21. R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Science, 17:348-375, 1978.
22. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, May 1999.
23. J. Mitola. The software radio architecture. IEEE Communications Magazine, 33(5):26-38, May 1995.
24. K. Moessner, S. Hope, P. Cook, W. Tuttlebee, and R. Tafazolli. The RMA - a framework for reconfiguration of SDR equipment. IEICE Trans. on Communications, E85-B(12):2573-2580, December 2002.
25. M. Pouzet. Lucid Synchrone, version 2. Tutorial and reference manual. UPMC, LIP6, May 2001. http://www-spi.lip6.fr/lucid-synchrone.
26. D. Sangiorgi and D. Walker. Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.