Compositionality in dataflow synchronous languages: Specification and distributed code generation

Information and Computation

Volumn 163, Issue 1, 2000, Pages 125-171

  Benveniste, Albert ^a   Caillaud, Benoît ^a   Le Guernic, Paul ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Desynchronization; Distributed code generation; Modularity; Separate compilation; Synchronous languages

Indexed keywords

CODES (SYMBOLS); INTERFACES (COMPUTER); QUERY LANGUAGES; SEMANTICS;

MATHEMATICAL TRANSLATION;

DATA FLOW ANALYSIS;

EID: 85047675423     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2000.9999     Document Type: Article

References (29)

1. Aabelsberg, I. J., and Rozenberg, G. (1988), Theory of traces, Theoret. Comput. Sci. 60, 1-82.
2. Alur, R., and Henzinger, T. A. (1996), Reactive modules, in "Proceedings 11th IEE Symposium on Logic in Computer Science 9LICS," pp. 207-218, extended version submitted for publication.
3. Amagbegnon, T. P., Besnard, L., and Le Guernic, P. (June 1994), "Arborescent Canonical Form of Boolean Expressions," Inria Research Report, 2290.
4. Amagbegnon, T. P., Besnard, L., and Le Guernic, P. (1995), Implementation of the dataflow language SIGNAL, in "Programming Languages Design and Implementation," pp. 163-173, Assoc. Comput. Mach., New York.
5. Aubry, P. (1997), "Mises en œuvre distribuées de programmes synchrones," Ph.D. thesis, Univ. Rennes I.
6. Benveniste, A., and Le Guernic, P. (1990), Hybrid dynamical systems theory and the Signal language, IEEE Trans. Automat. Control 35, No. 5, 535-546.
7. Benveniste, A., and Berry, G. (1991), Real-time systems design and programming, in "Another Look at Real-Time Programming," special section of "Proceedings of the IEEE", Vol. 9, pp. 1270-1282, IEEE, New York.
8. Benveniste, A., Le Guernic, P., and Jacquemot, C. (1991), Synchronous programming with events and relations: The SIGNAL languages and its semantics, Sci. Comput. Programming 16, 103-149.
9. Benveniste, A., Le Guernic, P., Sorel, Y., and Sorine, M. (1992), A denotational theory of synchronous communicating systems, Inform. and Comput. 99, 192-230.
10. Benveniste, A., Caspi, P., Halbwachs, N., and Le Guernic, P. (1994), Data-flow synchronous languages, in "A Decade of Concurrency, Reflexions and Perspectives, REX School/Symposium," Lecture Notes in Computer Science, Vol. 803, pp. 1-45, Springer-Verlag, Berlin/New York.
11. Berry, G. (1989), Real time programming: Special purpose or general purpose languages, in "IFIP World Computer Congress, San Francisco."
12. Berry, G. (Dec. 1995), "The Constructive Semantics of Esterel," Draft book, http://www.inria.fr/meije/ esterel.
13. Berry, G., and Sentovich, E. M. (Nov. 1998), An implementation of constructive synchronous programs in polis, manuscript.
14. Caillaud, B., Caspi, P., Giraud, A., and Jard, C. (1997), Distributing automata for asynchronous networks of processors, Eur. J. Automat. Systems (JESA) 31, No. 3, 503-524.
15. Caspi, P. (1992), Clocks in dataflow languages, Theoret. Comput. Sci. 94, 125-140.
16. Clerbout, M., and Latteux, M. (1987), Semicommutations, Inform. and Comput. 73, 59-74.
17. de Roever, W.-P., Langmaack, H., and Pnueli, A. (1998), Compositionality: The significant difference, in "Proceedings International Symposium COMPOS'97, Bad Malente, Germany," Lecture Notes in Computer Science, Vol. 1536, Springer-Verlag, Berlin/New York.
18. Le Guernic, P., and Gautier, T. (1991), Dataflow to von Neumann: The SIGNAL approach, in "Advanced Topics in Dataflow Computing" (L. Biv, and J.-L. Gaudiot, Eds.), pp. 413-438, Prentice-Hall, New York.
19. Halbwachs, N. (1993), "Synchronous Programming of Reactive Systems," Kluwer Academic, Dordrecht/ Norwell, MA.
20. Lamport, L. (1983), Specifying concurrent program modules, ACM Trans. Programm. Languages Systems 5, No. 2, 190-222.
21. Lamport, L. (1983), What good is temporal logic?, in "Proceedings, IFIP 9th World Congress" (R. E. A. Mason, Eds.), pp. 657-668, North-Holland, Amsterdam.
22. Le Guernic, P., Gautier, T., Le Borgne, M., and Le Maire, C. (1991), Programming real-time applications with SIGNAL, in "another Look at Real-Time Programming," special section of "Proceedings of the IEEE," Vol. 9, pp. 1321-1336, IEEE, New York.
23. Maffeis, O., and Le Guernic, P. (1994), Distributed implementation of Signal: Scheduling and graph clustering, in "3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems," Lecture Notes in Computer Science, Vol. 863, pp. 149-169, Springer-Verlag, Berlin/New York.
24. Manna, Z., and Pnueli, A. (1992), "The Temporal Logic of Reactive and Concurrent Systems: Specification," Springer-Verlag, New York.
25. Manna, Z., and Pnueli, A. (1995), "The Temporal Logic of Reactive and Concurrent Systems: Safety," Springer-Verlag, New York.
26. +, Version 1.2; Esprit project EP 20897: Sacres, see http://www.tni.fr/sacres/
27. Sorel, Y., and Lavarenne, C. "SynDEx v4.2 User Guide"; http://www-rocq.inria.fr/syndex/.articles/doc/ doc/SynDEx42.html.
28. Sorel, Y. (Sept. 1996), Sorel: Real-time embedded image processing applications using the A3 methodology, in "Proceedings IEEE International Conference on Image Processing, Lausanne."
29. TNI, (1999), SILDEX tool; see http://www.tni.fr/indexgb.htm.