Skip to main content
SpringerLink
Log in

About synchronous programming and abstract interpretation

  • Invited Paper
  • Conference paper
  • First Online:
Static Analysis (SAS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 864))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

Author information

Authors and Affiliations

  1. Verimag-Miniparc-Zirst, F-38330, Montbonnot, France

    Nicolas Halbwachs

Authors
  1. Nicolas Halbwachs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Baudouin Le Charlier

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Halbwachs, N. (1994). About synchronous programming and abstract interpretation. In: Le Charlier, B. (eds) Static Analysis. SAS 1994. Lecture Notes in Computer Science, vol 864. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58485-4_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-58485-4_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58485-8

  • Online ISBN: 978-3-540-49005-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation