About synchronous programming and abstract interpretation

1. G. Berry, P. Couronné, and G. Gonthier. Synchronous programming of reactive systems, an introduction to Esterel. In K. Fuchi, and M. Nivat, editors, Programming of Future Generation Computers. Elsevier Science Publisher B.V. (North Holland), 1988. INRIA Report 647.

   Google Scholar 

2. A. Benveniste, P. Caspi, P. Le Guernic, and N. Halbwachs. Data-flow synchronous languages. In Rex Symposium “Ten Years of Concurrency, Reflections and Perspectives”. LNCS 803, Springer-Verlag, June 1993.

   Google Scholar 

3. G. Berry. Real time programming: Special purpose or general purpose languages. In IFIP World Computer Congress, San Francisco, 1989.

   Google Scholar 

4. A. Bouajjani, J.-C. Fernandez, N. Halbwachs, P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18:247–269, 1992.

   Article  Google Scholar 

5. G. Berry, and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.

   Article  Google Scholar 

6. A. Benveniste, and P. LeGuernic. Hybrid dynamical systems theory and the Signal language. IEEE Transactions on Automatic Control, 35(5):535–546, May 1990.

   Article  Google Scholar 

7. F. Boussinot, and R. de Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293–1304, September 1991.

   Article  Google Scholar 

8. P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In 2nd Int. Symp. on Programming. Dunod, Paris, 1976.

   Google Scholar 

9. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.

   Google Scholar 

10. P. Cousot, and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(1–4):103–179, 1992. (Also, Research Report LIX/RR/92/08, Ecole Polytechnique).

    Article  Google Scholar 

11. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, Tucson (Arizona), January 1978.

    Google Scholar 

12. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, Munchen, January 1987.

    Google Scholar 

13. T. Gauthier, P. Le Guernic, and L. Besnard. Signal, a declarative language for synchronous programming of real-time systems. In Proc. 3rd. Conf. on Functional Programming Languages and Computer Architecture. LNCS 274, Springer Verlag, 1987.

    Google Scholar 

14. P. Granger. Static analysis of arithmetical congruences. International Journal on Computer Mathematics, 30:165–190, 1989.

    Google Scholar 

15. N. Halbwachs. Delay analysis in synchronous programs. In Fifth Conference on Computer-Aided Verification, Elounda (Greece), July 1993. LNCS 697, Springer Verlag.

    Google Scholar 

16. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.

    Google Scholar 

17. D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8(3), 1987.

    Google Scholar 

18. 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.

    Article  Google Scholar 

19. N. Halbwachs, F. Lagnier, and C. Ratel. An experience in proving regular networks of processes by modular model checking. Acta Informatica, 29(6/7):523–543, 1992.

    Article  Google Scholar 

20. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.

    Google Scholar 

21. Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.

    Google Scholar 

22. M. Karr. Affine relationships among variables of a program. Acta Informatica, 6:133–151, 1976.

    Article  Google Scholar 

23. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with Signal. Proceedings of the IEEE, 79(9):1321–1336, September 1991.

    Article  Google Scholar 

24. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR'92, Stony Brook, August 1992. LNCS 630, Springer Verlag.

    Google Scholar 

25. F. Masdupuy. Semantic analysis of interval congruences. In Int. Conf. on Formal Methods in Programming and their Applications. LNCS, Springer Verlag, July 1993.

    Google Scholar 

26. R. Milner. On relating synchrony and asynchrony. Technical Report CSR-75-80, Computer Science Dept., Edimburgh Univ., 1981.

    Google Scholar 

27. R. Milner. Calculi for synchrony and asynchrony. TCS, 25(3), July 1983.

    Google Scholar 

28. G. D. Plotkin. A structural approach to operational semantics. Lecture notes, Aarhus University, 1981.

    Google Scholar 

29. A. Pnueli. How vital is liveness? Verifying timing properties of reactive and hybrid systems. In CONCUR'92, Stony Brook. LNCS 630, Springer Verlag, August 1992.

    Google Scholar 

30. B. Wegbreit. Property extraction in well-founded property sets. IEEE Trans. on Software Engineering, SE-1(3):270–285, September 1975.

    Google Scholar 

Download references